PyDigger - unearthing stuff about Python


NameVersionSummarydate
TinyLean 0.1.0 Tiny theorem prover with syntax like Lean 4 2025-02-08 15:09:37
hourdayweektotal
53180810401311932
Elapsed time: 4.32584s