Introducing FStar.Prelude, removing special casing for Prims/Pervasives internally#3732
Merged
mtzguido merged 15 commits intoFStarLang:masterfrom mtzguido:preludeFeb 11, 2025
+1,186-1,200
Commits
Commits on Feb 10, 2025
Commits on Feb 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed