Verites / verigraph
Software specification and verification system based on graph rewriting
☆37Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for verigraph
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- ☆44Updated last year
- Course on Metaprogramming☆55Updated 2 years ago
- ☆28Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- The MMT Language and System☆68Updated 3 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆78Updated 8 years ago
- source code for the bondi programming language☆38Updated 5 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆47Updated 3 weeks ago
- Tiny type-checker with dependent types☆76Updated 10 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- A showcase of interesting code and proof developments in Cedille☆36Updated last year
- An extended typed Lambda Calculus☆20Updated 3 months ago
- A talk☆28Updated 3 years ago
- Luck -- A Language for Property-Based Generators☆33Updated 7 years ago
- An experimental category theory library for Lean☆47Updated last year
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Paper and talk☆45Updated last year
- ☆59Updated 5 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 11 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago