cbenzmueller / LogiKEyLinks
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
☆18Updated last month
Alternatives and similar repositories for LogiKEy
Users that are interested in LogiKEy are comparing it to the libraries listed below
Sorting:
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated this week
- ☆16Updated 4 years ago
- Logic and Mechanized Reasoning☆105Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated 3 weeks ago
- "proving-contest"-backends for several theorem provers☆13Updated 10 months ago
- Experiments with SAT solvers with proofs in Lean 4☆58Updated last year
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆13Updated 4 years ago
- ☆43Updated last month
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆76Updated 3 months ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆59Updated last week
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 3 weeks ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- ☆33Updated 11 months ago
- ☆21Updated last year
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Lean4 port of Arduino balance car controller☆45Updated 4 years ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024☆61Updated last year
- ☆87Updated last week
- Experiments with some ways of automating reasoning in lean 4☆16Updated last year
- WIP collections library for Lean 4☆32Updated 3 months ago
- ☆21Updated last year
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- Natural language tactics to teach mathematics using Lean 4☆90Updated last month
- ☆53Updated 2 weeks ago