lucid-brndmg / cyclone-online-editorLinks
Interactive online editor for the cyclone specification language
☆12Updated last week
Alternatives and similar repositories for cyclone-online-editor
Users that are interested in cyclone-online-editor are comparing it to the libraries listed below
Sorting:
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 6 months ago
- Code2Inv: Learning Loop Invariants for Program Verification☆100Updated 4 years ago
- KeY Theorem Prover for Deductive Java Verification☆68Updated this week
- Language models for Coq based on data collected from the coq lsp.☆22Updated 5 months ago
- ☆64Updated this week
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆54Updated last year
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆93Updated 4 years ago
- The Termination Problem Database☆30Updated 4 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- ☆67Updated 4 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- ☆24Updated 3 months ago
- A collection of useful tips/tricks/hints for Isabelle users.☆16Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 6 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆187Updated 4 years ago
- ☆22Updated last year
- ☆12Updated 10 months ago
- Python client for coq-lsp☆44Updated last month
- Natural language tactics to teach mathematics using Lean 4☆111Updated last month
- ☆269Updated 10 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 5 months ago
- ☆120Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- ☆20Updated 2 years ago
- A (WIP) equality saturation tactic for Lean based on egg.☆76Updated 3 months ago
- The Ott tool for writing definitions of programming languages and calculi☆398Updated last year