Pinned Repositories
lean4
Lean 4 programming language and theorem prover
fibonacci_squares
lean-smt
Tactics for discharging Lean goals into SMT solvers.
lean4
Lean 4 programming language and theorem prover
LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Logic-LLM
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
M40001_lean
Lean stuff for M40001
pell
std4
Standard Library for Lean 4
tutorials
Some Lean tutorials
mhk119's Repositories
mhk119/fibonacci_squares
mhk119/lean-smt
Tactics for discharging Lean goals into SMT solvers.
mhk119/lean4
Lean 4 programming language and theorem prover
mhk119/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
mhk119/Logic-LLM
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
mhk119/M40001_lean
Lean stuff for M40001
mhk119/pell
mhk119/std4
Standard Library for Lean 4
mhk119/tutorials
Some Lean tutorials