| Name | Version | Summary | date |
|---|---|---|---|
| wkrq | 3.2.0 | A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification | 2025-08-16 03:43:35 |
| pylean | 0.0.1a0 | Pure Python interaction with Lean 4 theorem prover | 2025-08-05 08:45:45 |
| TinyLean | 0.1.0 | Tiny theorem prover with syntax like Lean 4 | 2025-02-08 15:09:37 |
| hour | day | week | total |
|---|---|---|---|
| 36 | 2011 | 10145 | 314597 |