Siddhartha Gadgil
Results
3
repositories owned by
Siddhartha Gadgil
ProvingGround
202
Stars
38
Forks
Watchers
Proving Ground: Tools for Automated Mathematics
Saturn
50
Stars
1
Forks
Watchers
Experiments with SAT solvers with proofs in Lean 4
LeanAide
51
Stars
1
Forks
Watchers
Tools based on AI for helping with Lean 4