dominique-unruh / qrhl-toolLinks
Proof assistant for qRHL
☆22Updated 2 months ago
Alternatives and similar repositories for qrhl-tool
Users that are interested in qrhl-tool are comparing it to the libraries listed below
Sorting:
- A Small Quantum Intermediate Representation☆88Updated 2 months ago
- Prime numbers for Coq☆42Updated 3 weeks ago
- A foundational framework for modular cryptographic proofs in Coq☆69Updated 3 weeks ago
- Coq library for reasoning about quantum programs☆40Updated 2 weeks ago
- CertiCrypt Coq Framework☆35Updated 9 years ago
- ☆17Updated 2 weeks ago
- A Language and Compiler for Homomorphic Encryption Made easY☆67Updated 5 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated last week
- A quantum circuit language and formal verification tool☆105Updated 5 months ago
- Deposited packages of the homalg project☆16Updated last month
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 6 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated this week
- Verified compilation of space-efficient reversible circuits☆23Updated 6 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated 2 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆38Updated this week
- Some examples of Lean projects, for undergraduate mathematicians.☆23Updated 4 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆53Updated 3 weeks ago
- SampCert : Verified Differential Privacy☆82Updated 5 months ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆72Updated 2 weeks ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆124Updated last month
- Compositional Verification of Security Protocols☆22Updated 2 weeks ago
- A package to typeset ZX calculus directly in LaTeX.☆17Updated last year
- Formalized Cryptography Proofs in Lean 4☆47Updated last week
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 3 years ago
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- A Rocq formalization of information theory and linear error-correcting codes☆71Updated this week
- Schemes in Lean (v2)☆44Updated 5 years ago
- Specifications of cryptographic algorithms in Cryptol☆43Updated 2 weeks ago
- Theorem proving in Lean☆48Updated last year
- Graph Theory [maintainers=@chdoc,@damien-pous]☆39Updated last month