Skip to content

Use the MkProjectors tactic for all typeclasses#3382

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