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:
- Educational Proof Assistant for Type Theory☆74Updated last year
- A monadic library for symbolic evaluation☆68Updated last month
- Notes and handouts from OPLSS 2019☆34Updated 6 years ago
- ☆55Updated 4 months ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆25Updated this week
- Constructive Galois connections☆35Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 6 months ago
- Implementation of Polymorphic Gradual Typing☆12Updated 6 years ago
- An enhanced unification algorithm for Coq☆56Updated 4 months ago
- Certified Machine Learning☆41Updated 4 years ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆68Updated 4 months ago
- The Penn Locally Nameless Metatheory Library☆75Updated 5 months ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated last week
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆45Updated 4 months ago
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 6 years ago
- A cost-aware logical framework, embedded in Agda.☆64Updated last week
- Relation algebra library for Coq☆49Updated 5 months ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆72Updated last week
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Updated 4 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆13Updated 11 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 3 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆26Updated last month
- Denotational semantics based on graph and filter models☆23Updated 8 months ago
- ☆53Updated last week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆38Updated 2 months ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45Updated 9 years ago