Jumaruba / LPL-solutions
Solutions for the book "Language Proof and Logic".
☆71Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for LPL-solutions
- Tree Proof Generator☆156Updated 3 weeks ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆350Updated last week
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- The formal proof of the Kepler conjecture☆148Updated 6 months ago
- Server to host lean games.☆196Updated 2 weeks ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- The sources of the first theorem prover.☆56Updated 7 years ago
- UCalgary version of forallx, an introduction to formal logic☆95Updated 3 weeks ago
- Source code for the nLab☆149Updated 2 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆503Updated 3 months ago
- Mathematical Components☆588Updated this week
- Selected Papers of Dana S. Scott☆155Updated 5 months ago
- A formal logic framework that runs in the browser☆272Updated 4 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆76Updated 2 years ago
- The HOL Light theorem prover☆431Updated this week
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆51Updated 5 years ago
- Metamath program - source code for the Metamath executable☆79Updated 3 months ago
- The People's Verification System☆139Updated this week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆318Updated 3 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Visual Studio Code extension for Coq☆344Updated this week
- ☆223Updated 3 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆15Updated this week
- Tim Button's open textbook on set theory☆30Updated last year
- Support repository for the functional programming lecture (Haskell)☆15Updated this week
- Source of metamath book☆45Updated 11 months ago
- The main development version of the PRISM model checker.☆157Updated last month
- Lean documentation authoring tool☆124Updated this week