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☆109Updated 4 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- compression = AI☆53Updated 2 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆161Updated last year
- How fast can we brute force a 64-bit comparison?☆52Updated 5 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Anonymous messaging using mix networks☆45Updated 5 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- ☆34Updated 6 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆66Updated last year
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 8 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆102Updated 3 years ago
- poststructural fuzzing☆31Updated 5 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆27Updated 6 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 2 years ago
- White-box cryptography based on FAPKC algorithm☆26Updated 5 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆405Updated 2 years ago
- ☆29Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 3 weeks ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- An encyclopedia of proofs☆60Updated 8 months ago