cedar-policy / cedar-specLinks
Definitional implementation of Cedar language and utilities for DRT
☆124Updated 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:
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆122Updated 3 weeks ago
- SampCert : Verified Differential Privacy☆79Updated 3 months ago
- AWS Encryption SDK☆50Updated this week
- Wasm SpecTec specification tools☆59Updated this week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆109Updated last week
- Tactics for discharging Lean goals into SMT solvers.☆211Updated this week
- RFCs for Cedar☆16Updated 3 weeks ago
- A Lean library for Computer Science☆46Updated this week
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- Forge: A Tool and Language for Teaching Formal Methods☆83Updated last month
- A verification toolchain for Rust programs☆349Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆85Updated 8 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆183Updated this week
- This package provides an interface and foundation for verified SAT reasoning☆54Updated 11 months ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- Lean 4 kernel / 'external checker' written in Lean 4☆109Updated last month
- VSCode extension that is designed to help automate writing of Coq proofs.☆109Updated 2 months ago
- Separation Logic Proofs in Lean☆41Updated 4 months ago
- ☆52Updated 8 months ago
- ☆51Updated this week
- ☆87Updated last month
- Experiments on automation for Lean☆126Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated this week
- Lean models of Rust libraries☆18Updated 11 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆55Updated 2 weeks ago
- ☆52Updated 2 weeks ago
- Coq plugin embedding elpi☆173Updated last week
- GitHub action for standard CI in Lean projects☆21Updated 2 weeks ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆82Updated 2 weeks ago
- ☆59Updated this week