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
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• geohot / twitchcoins
  ☆34Updated 6 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• geohot / carla
  Open-source simulator for autonomous driving research.
  ☆22Updated 4 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆158Updated last year
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 5 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated last year
• stanfordhaskell / cs43
  Course materials for Stanford's CS43: Functional Programming Paradigms
  ☆30Updated 4 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• solegga / computer-security-class
  Computer Security Class - Department of Informatics and Telecommunications, University of Athens
  ☆12Updated 7 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆389Updated last year
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 6 months ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆28Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆294Updated this week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• j2kun / essays
  Short essays I've written
  ☆76Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated 3 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 4 months ago
• pim-book / exercises
  Solutions, discussions, and approaches to the exercises
  ☆144Updated 6 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆95Updated 4 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆102Updated 5 years ago
• Robert-Campbell-256 / Number-Theory-Python
  Python code to implement various number theory, elliptic curve and finite field computations.
  ☆98Updated 3 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago