FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Some fixes for antiquotations

Open mtzguido opened this issue 1 year ago • 0 comments

mtzguido avatar Jan 23 '24 22:01 mtzguido