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
346136036288931
Elapsed time: 2.07127s