| Name | Version | Summary | date |
|---|---|---|---|
| sphinxcontrib-proof | 1.7.0 | This packages contains the Proof sphinx extension, which provides directives to typeset theorems, lemmas, proofs, etc. | 2024-12-26 23:19:07 |
| punctilious | 1.0.10 | A human-friendly and developer-friendly math proof assistant | 2023-12-09 22:29:34 |
| pymerkle | 6.1.0 | Merkle-tree cryptography in python | 2023-08-30 14:42:25 |
| hour | day | week | total |
|---|---|---|---|
| 92 | 284 | 290 | 291586 |