☆76Jun 4, 2026Updated 4 months ago
Alternatives and similar repositories for formal-proofs
Users that are interested in formal-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A support library for working with zero knowledge cryptography in Lean 4.☆50May 27, 2026Updated 5 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Verify Cairo contracts in Lean 4☆22May 22, 2025Updated last year
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- ☆39Aug 20, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Jun 20, 2025Updated last year
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- bn254 pairing library for Cairo Zero☆26Dec 15, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- SampCert : Verified Differential Privacy☆106Sep 25, 2026Updated last month
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- ☆26May 9, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A collection of works discussing the security aspects of StarkNet☆40Dec 29, 2024Updated last year
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- Library for common cairo functions☆37Jan 19, 2022Updated 4 years ago
- ☆55Nov 22, 2023Updated 2 years ago
- Yet another string library built to enable flexible manipulation☆20Feb 15, 2022Updated 4 years ago
- Lean4 formalization of some provenance notions☆13Oct 21, 2026Updated last week
- Lean circuit DSL☆207Updated this week
- ☆34Feb 2, 2023Updated 3 years ago
- ☆15Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Jul 14, 2022Updated 4 years ago
- AES implementation for Cairo☆27Feb 27, 2022Updated 4 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 3 years ago
- Formalizing stochastic doubly-efficient debate☆120Oct 8, 2024Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- ☆23Jan 14, 2026Updated 9 months ago
- Code samples for the accompanying blog☆25Mar 28, 2023Updated 3 years ago
- Base64 encode felts☆16Oct 8, 2022Updated 4 years ago
- ☆16May 28, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Beginner's guide to Tactic Programming in Lean☆97Apr 24, 2026Updated 6 months ago
- ☆82Jul 3, 2024Updated 2 years ago
- A Key Manager for Starknet Accounts that removes the need to sign transactions, Twitter @StarknetBurner☆62Oct 28, 2022Updated 4 years ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆36May 2, 2026Updated 6 months ago
- Get Starknet subgraphs running in no time with zero dependency on third-party hosted platforms☆14Apr 28, 2024Updated 2 years ago
- Starknet application for Ledger Nano S, SP, X☆13Sep 7, 2022Updated 4 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago