DyLean, a framework for the symbolic analysis of cryptographic protocols
☆29Nov 10, 2026Updated this week
Alternatives and similar repositories for dylean
Users that are interested in dylean 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 set of cryptographic proofs for simple protocols, to be formalised in various tools.☆28Oct 19, 2026Updated 3 weeks ago
- Rust port of the Tamarin Prover☆16Updated this week
- Co-inductive datatypes for Lean☆19Updated this week
- A formally verified symbolic cryptography library for Lean☆22Feb 18, 2026Updated 8 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Nov 4, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Verifying curve25519-dalek using Lean☆14Updated this week
- A Lean implementation of Interaction Trees☆20Jan 13, 2025Updated last year
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 3 weeks ago
- A tool to connect SMT-based frontends to Lean4.☆21Nov 3, 2026Updated last week
- An external lean checker with a proof of consistency☆149Updated this week
- Coinductive Interaction Trees in Lean4 using QPFs☆20Oct 18, 2026Updated 3 weeks ago
- ☆11Jan 17, 2023Updated 3 years ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated 3 months ago
- This is the main repository for the Viper IDE extension for VS Code.☆14Nov 1, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆46Updated this week
- ☆11Sep 16, 2026Updated last month
- ☆23Oct 1, 2022Updated 4 years ago
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆20Updated this week
- Automata theory in Lean☆24Mar 25, 2026Updated 7 months ago
- A tool for verifying transitions in cryptographic game-hopping proofs☆24Updated this week
- ☆14Nov 19, 2024Updated last year
- ☆14Updated this week
- Proof infrastructure about LTL in Lean 4☆41Updated this week
- 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 verifier for automated and interactive proofs about transition systems.☆392Updated this week
- How to say it using Mathlib.☆21Oct 29, 2026Updated last week
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆18Sep 25, 2026Updated last month
- VSCode Plugin for Gobra☆11Updated this week
- A formal verification of Linear PCP SNARKs.☆64Aug 15, 2026Updated 2 months ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- Repository holding releases of our work on the formal verification of x86 binaries.☆23Oct 30, 2026Updated last week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆168Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆13Oct 1, 2026Updated last month
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- Write LaTeX presentations directly from Lean4~☆30Dec 28, 2025Updated 10 months ago
- Math exercises in Lean☆18Oct 26, 2026Updated 2 weeks ago
- Verified algorithms in Lean, implemented and proved by AIs☆12Apr 28, 2026Updated 6 months ago
- A Haskell probabilistic programming library.☆23Updated this week
- ☆16Aug 4, 2026Updated 3 months ago
Are these results useful?