holbert
Proof assistant
An interactive proof assistant designed to help with educational mathematics
A graphical interactive proof assistant designed for education
164 stars
4 watching
6 forks
Language: Haskell
last commit: 4 months ago Related projects:
Repository | Description | Stars |
---|---|---|
| A programming language and proof assistant built on top of Rust. | 114 |
| A proof assistant based on a type theory for synthetic ∞-categories. | 212 |
| A proof assistant with a formal system for verifying mathematical theorems and proofs | 420 |
| An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support. | 164 |
| Enables interactive proof development in Vim similar to other proof assistants. | 274 |
| Teaching notes and resources on programming languages written in Haskell | 165 |
| An Alfred workflow for searching the Hoogle documentation of Haskell functions | 20 |
| Python bindings for Coq's interactive proof assistant | 50 |
| An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis | 1,173 |
| A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants. | 21 |
| Coq proof assistant book with exercises and examples | 114 |
| A collection of Ltac tactics to help find specific mathematical proofs in Coq | 5 |
| A tutorial project teaching Haskell through practical exercises and a gradual introduction to its concepts and terminology. | 564 |
| An implementation of popular AI algorithms in the Haskell programming language | 331 |
| A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |