quantumformalism / software-verificationLinks
☆24Updated last year
Alternatives and similar repositories for software-verification
Users that are interested in software-verification are comparing it to the libraries listed below
Sorting:
- ☆23Updated 3 years ago
- ☆12Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- ☆13Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated 2 weeks ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- A development of homotopy theory in the Lean formal theorem prover.☆15Updated 4 years ago
- Plain-text declaration export for Lean 4☆17Updated last month
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- Verifying encodings into propositional logic in Lean☆12Updated last year
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆11Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- ☆16Updated 4 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆51Updated 3 weeks ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated last year
- ☆31Updated 2 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆24Updated 3 weeks ago
- ☆15Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- A verified tensor library in Lean☆28Updated this week
- ☆49Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year