cbenzmueller / LogiKEyLinks
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
☆18Updated this week
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 3 weeks ago
- ☆16Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆83Updated last week
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 3 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- The MMT Language and System☆77Updated 2 months ago
- "proving-contest"-backends for several theorem provers☆13Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆55Updated last year
- ☆13Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆31Updated last month
- ☆43Updated this week
- Python bindings for the Coq interactive proof assistant☆56Updated 3 years ago
- Experiments with SAT solvers with proofs in Lean 4☆62Updated last year
- Logic and Mechanized Reasoning☆109Updated 3 weeks ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 2 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆78Updated last week
- Lean 4 Metamath verifier☆21Updated 5 months ago
- Topos theory in lean☆64Updated 4 years ago
- ☆22Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- maze game encoded in Lean 4 syntax☆65Updated 4 months ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Updated 10 months ago
- Write formal proofs in natural language and LaTeX.☆44Updated last week
- Lean4 port of Arduino balance car controller☆48Updated 4 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆53Updated last week
- ☆10Updated 2 years ago
- Implementation of Nuprl's type theory in Coq☆46Updated 11 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆25Updated last year