Alternatives and similar repositories for TheProofIsTrivial:

Users that are interested in TheProofIsTrivial are comparing it to the libraries listed below

• byorgey / species
  ☆17Updated last year
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 7 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• goldfirere / video-resources
  Resources to look at in concert with my Haskell videos
  ☆15Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• uds-psl / coq-library-complexity
  ☆30Updated last year
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆69Updated 3 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆77Updated 3 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• conal / MemoTrie
  Trie-based memo functions
  ☆92Updated last week
• djvelleman / HTPILeanPackage
  ☆26Updated last month
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆34Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 8 months ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 4 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆51Updated 7 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆45Updated last week