All Git Users → siddhartha-gadgil

2 open source projects by siddhartha-gadgil

[ Open user page on Github ]

1. Provingground

Proving Ground: Tools for Automated Mathematics

✭ 173

scala jupyter-notebook

Experiments with SAT solvers with proofs in Lean 4

✭ 23

1-2 of 2 user projects