Skip to content

Use the MkProjectors tactic for all typeclasses#3382

Draft
mtzguido wants to merge 7 commits intoFStarLang:masterfrom mtzguido:mkprojs

Commits

Commits on Aug 23, 2024