OPLSS / oplss-notes-2021Links
Materials for OPLSS 2021
☆11Updated 4 years ago
Alternatives and similar repositories for oplss-notes-2021
Users that are interested in oplss-notes-2021 are comparing it to the libraries listed below
Sorting:
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- ☆55Updated 2 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆33Updated last month
- Unification and type inference algorithms☆125Updated 10 years ago
- Haskell implementation of the Edinburgh Logical Framework☆30Updated last month
- ☆21Updated 3 years ago
- Intrinsic Verification of Formal Grammar Theory☆26Updated this week
- The Penn Locally Nameless Metatheory Library☆74Updated 3 months ago
- Relation algebra library for Coq