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☆96Updated 2 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- ☆69Updated 4 years ago
- ☆62Updated 5 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆164Updated 2 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- Open-source number theory textbook☆61Updated last year
- My personal repository of formally verified mathematics.☆306Updated last week
- Latex notes on papers, courses, ideas: Pure math and computer science.☆64Updated 2 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆335Updated 5 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- Lean Library currently studying for a degree at Imperial College☆229Updated 9 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- mergesort in many languages☆263Updated 2 years ago
- An environment and set of utilities aimed at making kernel hacking simple and accessible☆63Updated 2 years ago
- Reproducing malicious memory reading on Intel i5 and Intel Xeon using a Spectre attack☆87Updated 7 years ago
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- ☆38Updated 7 years ago
- This is the code for "Dynamic Programming" by Siraj Raval on Youtube☆52Updated 6 years ago
- A curated set of links to formal methods involving provable code.☆214Updated 3 years ago
- Port Linux to the iPhone☆57Updated 15 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- MOVING TO: https://github.com/cirosantilli/cirosantilli.github.io/ SEE README. Because sometimes you just want to simulate single prokary…☆16Updated 5 years ago
- 📚 Papers and essays I find timeless☆378Updated last year
- A list of web links that we recommended, back in the early 2000s.☆44Updated 7 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆102Updated 4 years ago