geohot / coq-hardyLinks
Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
☆54Updated 6 years ago
Alternatives and similar repositories for coq-hardy
Users that are interested in coq-hardy are comparing it to the libraries listed below
Sorting:
- It's a poorly named metamath verifier☆110Updated 5 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- compression = AI☆55Updated 3 years ago
- ☆62Updated 5 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- ☆34Updated 7 years ago
- like twitchslam, for chess☆368Updated 2 years ago
- ever wonder how to raytrace? me too. i love america☆26Updated 9 years ago
- mergesort in many languages☆263Updated last year
- Anonymous messaging using mix networks☆45Updated 5 years ago
- Open-source simulator for autonomous driving research.☆21Updated 5 years ago
- Short essays I've written☆78Updated last year
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 8 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆164Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A repo for a Program and Data Representation university-level course☆38Updated 7 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆101Updated 4 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 5 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆413Updated 2 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- Solutions, discussions, and approaches to the exercises☆145Updated 6 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- The Embedded Disassembler☆115Updated 16 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- ☆29Updated this week
- Differential fuzzing for elliptic curves☆23Updated 2 years ago