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:
- Verifying encodings into propositional logic in Lean☆12Updated last year
- 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 last week
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 3 years ago
- ☆13Updated 3 years ago
- ☆11Updated last year
- Cryptographic routines for the Lean 4 language☆44Updated 9 months ago
- ☆23Updated 3 years ago
- Plain-text declaration export for Lean 4☆17Updated 3 weeks ago
- ☆16Updated last year
- Template for Lean<->Rust FFI☆12Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- ☆15Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 4 months ago
- ☆12Updated 2 years ago
- A date and time library for Lean 4☆12Updated 2 months ago
- A verified tensor library in Lean☆26Updated 2 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Updated 3 months ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆10Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- ☆12Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- ☆31Updated last year
- HoTT Book formalisations in Rzk.☆18Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 11 months ago