arandilopez / z-evesLinks
Z-EVES for linux. Probably the only place you can find it
☆24Updated 4 years ago
Alternatives and similar repositories for z-eves
Users that are interested in z-eves are comparing it to the libraries listed below
Sorting:
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 5 years ago
- ☆10Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last month
- Type inference implementation in OCaml using Algorithm W☆10Updated 3 years ago
- Educational Proof Assistant for Type Theory☆74Updated 11 months ago
- Language based on Rewriting Logic☆127Updated last week
- Course on Metaprogramming☆71Updated 3 weeks ago
- VSCode plugin for Standard ML☆40Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- Pedagogical first-order prover in Python☆76Updated last month
- Jupyter kernel for Coq☆95Updated 10 months ago
- Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.☆76Updated last year
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆32Updated 3 years ago
- A programming language that deduces code from tests☆30Updated 7 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).☆57Updated 3 years ago
- High level commands to declare a hierarchy based on packed classes☆99Updated this week
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆79Updated 6 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Reference compiler for c0☆36Updated last month
- An encyclopedia of proofs☆62Updated 8 months ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- an optimizing curry compiler☆14Updated 2 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆123Updated 5 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 7 years ago
- A dynamic method for detecting faults in incremental and parallel builds.☆19Updated 2 years ago