| Name | Version | Summary | date |
|---|---|---|---|
| wkrq | 3.3.2 | A Python implementation of a semantic tableau calculus for weak Kleene logic with restricted quantification | 2025-08-25 18:47:33 |
| 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 |
|---|---|---|---|
| 89 | 1509 | 9404 | 315587 |