mhk119
Follow
-
lean-smt Public
Forked from ufmg-smite/lean-smtTactics for discharging Lean goals into SMT solvers.
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 24, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedFeb 14, 2024 -
-
-
Logic-LLM Public
Forked from teacherpeterpan/Logic-LLMThe project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
C MIT License UpdatedNov 10, 2023 -
LeanAPAP Public
Forked from YaelDillies/LeanAPAPFormalisation of the Kelley-Meka bound on Roth numbers
Lean UpdatedNov 8, 2023 -
M40001_lean Public
Forked from ImperialCollegeLondon/M40001_leanLean stuff for M40001
Lean UpdatedNov 5, 2020 -
tutorials Public
Forked from leanprover-community/tutorialsSome Lean tutorials
Lean Apache License 2.0 UpdatedSep 28, 2020