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
88163910347311994
Elapsed time: 1.91676s