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
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- Elsa is a lambda calculus evaluator☆187Updated 5 months ago
- Web based opetopic editor☆35Updated 10 months ago
- ☆17Updated last year
- ☆64Updated 2 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆72Updated 4 years ago
- Maintenance of the pointfree Hackage package.☆146Updated 10 months ago
- Interactive theorem proving with Coq in vim.☆185Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆103Updated last year
- Toy typechecker for Insanely Dependent Types☆81Updated 11 years ago
- A reversible language☆22Updated 6 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated 11 months ago
- A simple blogging platform with Haskell and Scotty☆39Updated 3 years ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 5 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- reddit api for haskell☆77Updated 3 years ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Generate Haskell code from a type☆140Updated 6 months ago
- Rope data structure used by Yi☆20Updated 7 years ago
- A LaTeX Scratchpad for sharing.☆16Updated 6 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- A formalization of category theory in cubical Agda☆59Updated 5 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 4 years ago
- Paper and talk☆54Updated 2 years ago
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago