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: almost 2 years ago

Related projects:

Repository	Description	Stars
andrew-johnson-4/lsts	A programming language and proof assistant built on top of Rust.	114
rzk-lang/rzk	A proof assistant based on a type theory for synthetic ∞-categories.	212
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	An embedded language and JIT compiler for efficient dynamic expression evaluation and data analysis	1,173
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	114
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.	564
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