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
98221510517307119
Elapsed time: 1.62865s