alangpierce / TheProofIsTrivialLinks
Math-themed single-serving site
☆46Updated 4 years ago
Alternatives and similar repositories for TheProofIsTrivial
Users that are interested in TheProofIsTrivial are comparing it to the libraries listed below
Sorting:
- Port of asciimoo/drawille to haskell.☆26Updated 2 years ago
- ☆64Updated 3 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Updated 4 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Maintenance of the pointfree Hackage package.☆145Updated 11 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 5 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated 11 months ago
- Toy typechecker for Insanely Dependent Types☆81Updated 12 years ago
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- System F-omega normalization by hereditary substitution in Agda☆60Updated 6 years ago
- Web based opetopic editor☆35Updated 11 months ago
- ☆90Updated 3 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated 4 months ago
- Advent of Code 2017 (Warning: Spoilers)☆50Updated 10 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Test your Haskell code by exhaustively checking its properties☆136Updated last month
- Elsa is a lambda calculus evaluator☆187Updated 5 months ago
- Generate Haskell code from a type☆140Updated 7 months ago
- A hip inductive theorem prover!☆89Updated 3 years ago