byorgey / thesisLinks
Brent's PhD thesis.
☆69Updated 9 years ago
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- ☆84Updated 7 years ago
- Tiny type-checker with dependent types☆78Updated 11 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- constructive abstract algebra☆103Updated 5 years ago
- A formalization of M-types in Agda☆34Updated 5 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 2 months ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- ☆31Updated 7 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Lean Tutorials☆45Updated 4 years ago
- Web based opetopic editor☆35Updated 9 months ago
- Miller/pattern unification in Agda☆65Updated 11 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Real number computation software☆126Updated 2 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- being the materials for Summer 2013's course☆112Updated 2 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 6 years ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- ☆22Updated 9 years ago
- Self-contained repository for the eponymous paper☆30Updated 6 years ago