☆27Sep 8, 2023Updated 2 years ago
Alternatives and similar repositories for software-verification
Users that are interested in software-verification are comparing it to the libraries listed below
Sorting:
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- ☆13Updated this week
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Jul 7, 2023Updated 2 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- ☆25May 23, 2022Updated 3 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Feb 10, 2026Updated 2 weeks ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Updated this week
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆24Dec 17, 2022Updated 3 years ago
- ☆25Dec 10, 2021Updated 4 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆36Dec 20, 2025Updated 2 months ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 11, 2026Updated 2 weeks ago
- ☆12Feb 18, 2024Updated 2 years ago
- Quantum Optimal Control☆10Aug 25, 2025Updated 6 months ago
- 4D Miner C++ Modding Headers / 4D-Modding API Headers☆12Dec 31, 2025Updated 2 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago
- Combinatorial game library in Lean 4☆56Updated this week
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- 2024秋《计算物理基础》课程作业代码与随笔☆13Dec 20, 2024Updated last year
- ☆13Jul 8, 2024Updated last year
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- A tutorial on simulating quantum circuits and quantum error correction with tensor networks☆20Sep 20, 2025Updated 5 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- control system for cold atoms experiments based on a commercial low-cost FPGA-SoC development board☆10Jul 17, 2025Updated 7 months ago
- A Julia package for drawing quantum circuits with the quantikz tex macros.☆40Feb 23, 2026Updated last week
- A support library for working with zero knowledge cryptography in Lean 4.☆48Aug 27, 2025Updated 6 months ago
- ☆16Updated this week
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- ☆12Oct 3, 2020Updated 5 years ago