liamoc / hilbertLinks
An intensely interactive, graphical theorem prover based on natural deduction
☆29Updated 11 years ago
Alternatives and similar repositories for hilbert
Users that are interested in hilbert are comparing it to the libraries listed below
Sorting:
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- secret project☆17Updated 7 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- ☆29Updated 9 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Updated 4 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 12 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Two-Level Type Theory