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
6818179032317173
Elapsed time: 3.18328s