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 visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated 2 years ago
- Open-source number theory textbook☆63Updated last year
- How fast can we brute force a 64-bit comparison?☆54Updated 6 years ago
- ☆34Updated 7 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆216Updated 6 years ago
- problem sets for CS-GY 6903 Applied Cryptography☆41Updated 4 years ago
- Python code to implement various number theory, elliptic curve and finite field computations.☆103Updated 4 years ago
- Source code of quantumplayground.net.☆110Updated 9 years ago
- Short essays I've written☆80Updated last year
- An environment and set of utilities aimed at making kernel hacking simple and accessible☆62Updated 2 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆166Updated 2 years ago
- Implementation of Shor's algorithm in Python 3.X using state vectors☆72Updated 5 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 8 years ago
- Solutions, discussions, and approaches to the exercises☆144Updated 7 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- ☆204Updated 2 months ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 10 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Attribution of the Federalist Papers through NLTK/SciKit and ML☆27Updated 7 years ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆47Updated 5 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆65Updated 2 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 5 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Updated last year
- python toolbox for calculations related to quantum entanglement (including squashed entanglement) "Speak Quantum Friend and Enter"☆14Updated 5 years ago
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago