Use the MkProjectors tactic for all typeclasses#3382
Draft
mtzguido wants to merge 7 commits intoFStarLang:masterfrom
Draft
Use the MkProjectors tactic for all typeclasses#3382mtzguido wants to merge 7 commits intoFStarLang:masterfrom
mtzguido wants to merge 7 commits intoFStarLang:masterfrom
Commits
Commits on Aug 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
