holbert
Proof assistant
An interactive proof assistant designed to help with educational mathematics
A graphical interactive proof assistant designed for education
161 stars
4 watching
6 forks
Language: Haskell
last commit: 3 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 andrew-johnson-4/lsts | A programming language and proof assistant built around type theory and lambda calculus. | 114 |
 rzk-lang/rzk | An experimental proof assistant built on top of a type theory for synthetic ∞-categories. | 205 |
 the-little-prover/j-bob | A proof assistant with a formal system for verifying mathematical theorems and proofs | 420 |
 lambdabot/lambdabot | An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support. | 164 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 w7cook/aopl | Teaching notes and resources on programming languages written in Haskell | 165 |
 meck/alfred-hoogle | An Alfred workflow for searching the Hoogle documentation of Haskell functions | 20 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 morganstanley/hobbes | A language and embedded JIT compiler for efficient dynamic expression evaluation and data storage | 1,168 |
 uwplse/structtact | A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
 coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 ptival/haystac | A collection of Ltac tactics to help find specific mathematical proofs in Coq | 5 |
 alpacaaa/zero-bs-haskell | A tutorial project teaching Haskell through practical exercises and a gradual introduction to its concepts and terminology. | 562 |
 chris-taylor/aima-haskell | An implementation of popular AI algorithms in the Haskell programming language | 331 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |