cmugpi / gpi-labsLinks
07-131 lab distribution
☆16Updated last month
Alternatives and similar repositories for gpi-labs
Users that are interested in gpi-labs are comparing it to the libraries listed below
Sorting:
- Interactive Theorem Proving course using HOL4☆13Updated 2 years ago
- The TacTok automated Coq proof script synthesis tool☆17Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated last month
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆50Updated 4 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Updated 6 years ago
- An open bibliography of machine learning for formal proof papers☆32Updated 2 years ago
- Python bindings for the Coq interactive proof assistant☆57Updated 3 years ago
- Programming languages☆39Updated 9 months ago
- ☆24Updated 3 months ago
- Course on Metaprogramming☆74Updated 6 months ago
- ☆24Updated 3 weeks ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Updated 4 years ago
- An automated deductive program verifier based on concurrent separation logic☆27Updated last week
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated 2 months ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated last year
- ☆234Updated last year
- Logical relation for predicative CC omega with booleans and an intensional identity type☆12Updated 8 months ago
- The WIP book for CPSC 411☆66Updated 3 weeks ago
- A SyGuS Solver☆30Updated 7 months ago
- The Candle theorem prover (fork of the HOL Light sources)☆16Updated last year
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆42Updated this week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated 2 weeks ago
- PL conference deadline countdowns☆63Updated last month
- Program Synthesis Course☆264Updated last year
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Type-and-example-driven program synthesis for functional programming languages☆27Updated 6 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆137Updated 3 months ago