cbenzmueller / LogiKEyLinks
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
☆18Updated 2 weeks ago
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☆50Updated 2 months ago
- ☆16Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆84Updated last week
- ☆13Updated 4 years ago
- Formalization of Machine Learning Theory with Applications to Program Synthesis☆78Updated 2 months ago
- ☆22Updated 2 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Updated last year
- Logic and Mechanized Reasoning☆114Updated 2 months ago
- Lean4 port of Arduino balance car controller☆48Updated 4 years ago
- Topos theory in lean☆64Updated 4 years ago
- ☆11Updated 2 years ago
- maze game encoded in Lean 4 syntax☆66Updated 6 months ago
- Bonn Lean course for winter 24/25☆39Updated last month
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated this week
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- Python bindings for the Coq interactive proof assistant☆57Updated 3 years ago
- Experiments with SAT solvers with proofs in Lean 4☆63Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 3 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆66Updated 2 weeks ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆54Updated last month
- WIP collections library for Lean 4☆32Updated 7 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆56Updated last year
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Updated 11 months ago
- This package provides an interface and foundation for verified SAT reasoning☆55Updated last year
- Python client for coq-lsp☆44Updated last month
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Learn Lean and topology☆25Updated 2 years ago
- The MMT Language and System☆79Updated 3 months ago
- ☆12Updated this week