holbert

Proof assistant

An interactive proof assistant designed to help with educational mathematics

A graphical interactive proof assistant designed for education

GitHub

164 stars
4 watching
6 forks
Language: Haskell
last commit: 4 months 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