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