leanprover / superLinks
Superposition prover
☆17Updated 2 years ago
Alternatives and similar repositories for super
Users that are interested in super are comparing it to the libraries listed below
Sorting:
- Lean type-checker written in Scala.☆40Updated 3 years ago
- ☆17Updated 4 months ago
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- ☆50Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- Luck -- A Language for Property-Based Generators☆36Updated 11 months ago
- Dafny for Metatheory of Programming Languages☆28Updated 4 months ago
- Real number computation software☆129Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- Theorem proving in Lean☆49Updated last year
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Tool for compiling Lean to WASM☆23Updated last year
- Distributed Data Structures in Coq☆49Updated 12 years ago
- ☆23Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- An encyclopedia of proofs☆64Updated last year
- Two-Level Type Theory☆28Updated 6 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 9 years ago
- Haskell Join-calculus DSL☆24Updated 7 years ago
- Plain-text declaration export for Lean 4☆22Updated this week
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Updated 11 years ago
- HoTT in Lean 3☆81Updated 5 years ago
- ☆27Updated last year
- ☆29Updated 10 years ago
- A Rust implementation of the Lean kernel☆11Updated 3 years ago