Alternatives and similar repositories for LogiKEy:

Users that are interested in LogiKEy are comparing it to the libraries listed below

• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• Some-random / theorem-proving-reasoning
  Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf
  ☆22Updated 10 months ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• paulaneeley / modal
  ☆14Updated 4 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 11 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• leanprover-community / lean-web-editor
  Lean 3 web editor
  ☆11Updated last year
• avigad / formal_methods_in_education
  A web page with resources for teaching with formal methods and tools.
  ☆14Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆31Updated 10 months ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 5 months ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆24Updated 3 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• sinhp / ProofLab
  ☆9Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• IBM / nesa-demo
  Demo for Neuro-Symbolic Agent (LOA)
  ☆14Updated 2 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 2 months ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆56Updated 9 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆23Updated 2 weeks ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated last month
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆26Updated 3 years ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆16Updated last week
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago