Alternatives and similar repositories for TheProofIsTrivial:

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

• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 4 months ago
• byorgey / species
  ☆17Updated last year
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆27Updated last year
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆114Updated 2 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• cfredric / NumberTheory
  A Haskell number theory library.
  ☆14Updated 7 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 8 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆70Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• uds-psl / coq-library-complexity
  ☆31Updated last year
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 5 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆64Updated 11 years ago
• plum-umd / cgc
  Constructive Galois connections
  ☆32Updated 7 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last week