☆284Oct 29, 2026Updated this week
Alternatives and similar repositories for Strata
Users that are interested in Strata are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- A verifier for automated and interactive proofs about transition systems.☆346Updated this week
- Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Su…☆164Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆120Jul 8, 2026Updated 3 months ago
- The Lean Computer Science Library (CSLib)☆783Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- assembly-level instruction-set semantics in Lean☆62Updated this week
- An auto-active program verifier in Lean☆132Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆315Updated this week
- ☆118Updated this week
- SampCert : Verified Differential Privacy☆106Sep 25, 2026Updated last month
- A mutual induction tactic for Lean 4.☆33Sep 17, 2026Updated last month
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆236Updated this week
- A Lean implementation of Interaction Trees☆19Jan 13, 2025Updated last year
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆51Apr 22, 2026Updated 6 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Experiments on automation for Lean☆194Updated this week
- Separation Logic Proofs in Lean☆57Jan 28, 2026Updated 9 months ago
- A formalization of ML kernel languages☆53Mar 26, 2026Updated 7 months ago
- A verification toolchain for Rust programs☆1,118Updated this week
- A Machine-to-Machine Interaction System for Lean 4.☆150Oct 20, 2026Updated last week
- ☆119Sep 28, 2026Updated last month
- [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks☆14Nov 29, 2025Updated 11 months ago
- ☆241Updated this week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆140Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆100Oct 13, 2026Updated 2 weeks ago
- A deprecated equality saturation tactic for Lean based on egg.☆87Oct 20, 2026Updated last week
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- Libraries useful for Dafny programs☆49Aug 19, 2025Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- White-box automation for Lean 4☆412Updated this week
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆39Aug 20, 2026Updated 2 months ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated last week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆83Aug 17, 2026Updated 2 months ago
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- Vermilion: Verus meets Lean☆62Updated this week
- Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications☆41Mar 9, 2026Updated 7 months ago
- ☆18Mar 30, 2026Updated 6 months ago