Name | Version | Summary | date |
---|---|---|---|
punctilious | 1.0.10 | A human-friendly and developer-friendly math proof assistant | 2023-12-09 22:29:34 |
mathesis | 0.4.1 | Formal logic library in Python for humans | 2023-10-29 04:27:00 |
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 |
---|---|---|---|
128 | 2227 | 9643 | 198794 |