Definitional implementation of Cedar language and utilities for DRT
☆158Mar 2, 2026Updated this week
Alternatives and similar repositories for cedar-spec
Users that are interested in cedar-spec are comparing it to the libraries listed below
Sorting:
- RFCs for Cedar☆19Jan 22, 2026Updated last month
- Some examples of using the Cedar language to specify authorization☆108Updated this week
- Documentation for Cedar policy language☆33Feb 27, 2026Updated last week
- A curated list of awesome Cedar related tools and articles.☆75Oct 29, 2025Updated 4 months ago
- Tactics for discharging Lean goals into SMT solvers.☆263Updated this week
- Implementation of the Cedar Policy Language☆1,329Feb 27, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆155Feb 24, 2026Updated last week
- SampCert : Verified Differential Privacy☆91May 1, 2025Updated 10 months ago
- ☆16Jul 3, 2023Updated 2 years ago
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆24Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated this week
- ☆19Jun 1, 2024Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- ☆25Apr 21, 2021Updated 4 years ago
- Document Generator for Lean 4☆131Updated this week
- Java bindings for the Cedar language☆69Dec 31, 2025Updated 2 months ago
- White-box automation for Lean 4☆342Updated this week
- Intuitive, type-safe expression quotations for Lean 4.☆101Feb 24, 2026Updated last week
- ☆91Feb 26, 2026Updated last week
- Plain-text declaration export for Lean 4☆26Feb 26, 2026Updated last week
- A verifier for automated and interactive proofs about transition systems.☆185Feb 28, 2026Updated last week
- Lean 4 kernel / 'external checker' written in Lean 4☆162Feb 2, 2026Updated last month
- ☆82Updated this week
- maze game encoded in Lean 4 syntax☆69Jul 2, 2025Updated 8 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Experiments on automation for Lean☆163Feb 19, 2026Updated 2 weeks ago
- ☆22Nov 23, 2023Updated 2 years ago
- A verification toolchain for Rust programs☆588Updated this week
- ☆14Feb 26, 2026Updated last week
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated last week
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 2 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- 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 2 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆24Feb 16, 2026Updated 2 weeks ago
- Tool for compiling Lean to WASM☆24Mar 17, 2024Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆79Feb 25, 2026Updated last week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆33Updated this week