Alternatives and similar repositories for coq-hardy:

Users that are interested in coq-hardy are comparing it to the libraries listed below

• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆108Updated 4 years ago
• geohot / twitchctw
  compression = AI
  ☆54Updated 2 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• blanchette / logical_verification_2019
  Repository for the course Logical Verification 2019–2020 at VU Amsterdam
  ☆13Updated 5 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 3 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆72Updated 4 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated last year
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated 2 months ago
• bgavran / Compositional_Deep_Learning
  Deep learning via category theory and functional programming
  ☆141Updated 4 years ago
• gamozolabs / fuzzyneural
  A neural network using fuzzing-style feedback rather than back-propagation
  ☆18Updated 4 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• rrtucci / Entanglish
  python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"
  ☆15Updated 4 years ago
• ImperialCollegeLondon / lean-maths-examples
  Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
  ☆13Updated 3 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 7 months ago
• kmicinski / program-analysis
  Program analysis grad seminar at SU (2019)
  ☆57Updated 4 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated this week
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago