holbert
by liamoc
A graphical interactive proof assistant designed for education
AI summary
Proof assistant
An interactive proof assistant designed to help with educational mathematics
- stars
- 164
- forks
- 6
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Programming language
A programming language and proof assistant built on top of Rust.
rzk-lang/rzk212
Proof assistant
A proof assistant based on a type theory for synthetic ∞-categories.
Proof Assistant
A proof assistant with a formal system for verifying mathematical theorems and proofs
Coding assistant
An IRC bot and apprentice coder tool built in Haskell for interacting with programming concepts and providing learning support.
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
w7cook/aopl165
Haskell textbook
Teaching notes and resources on programming languages written in Haskell
Function searcher
An Alfred workflow for searching the Hoogle documentation of Haskell functions
Proof assistant library
Python bindings for Coq's interactive proof assistant
Expression Compiler
An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Proof assistant
Coq proof assistant book with exercises and examples
Proof finding tactics
A collection of Ltac tactics to help find specific mathematical proofs in Coq
Haskell tutorial
A tutorial project teaching Haskell through practical exercises and a gradual introduction to its concepts and terminology.
Haskell AI library
An implementation of popular AI algorithms in the Haskell programming language
Haskell tutorial
A collection of Haskell code examples and resources illustrating the language's features and programming techniques.
