secure-foundations / human-eval-verusLinks
☆22Updated last week
Alternatives and similar repositories for human-eval-verus
Users that are interested in human-eval-verus are comparing it to the libraries listed below
Sorting:
- ☆50Updated 2 weeks ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆53Updated last year
- PL conference deadline countdowns☆62Updated last month
- ☆56Updated last month
- Separation Logic Proofs in Lean☆43Updated 6 months ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆124Updated this week
- ☆14Updated 2 months ago
- ☆98Updated last week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆72Updated last month
- An automated deductive program verifier based on concurrent separation logic☆20Updated last month
- Language models for Coq based on data collected from the coq lsp.☆19Updated 2 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆43Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆69Updated this week
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆27Updated 2 weeks ago
- ☆63Updated 3 weeks ago
- Ltac2 tutorial☆46Updated 2 years ago
- ☆12Updated 7 months ago
- ☆39Updated last week
- Collection of Automated Reasoners☆32Updated 2 months ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆144Updated last month
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- Python client for coq-lsp☆41Updated 3 months ago
- ☆53Updated last month
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆88Updated last week
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- Experiments on automation for Lean☆141Updated 2 weeks ago
- ☆24Updated 2 weeks ago
- ☆20Updated 5 months ago
- Definition of the Viper intermediate verification language.☆89Updated this week
- A SyGuS Solver☆29Updated 4 months ago