Name | Version | Summary | date |
---|---|---|---|
z3-solver | 4.13.0.0 | an efficient SMT solver library | 2024-03-07 19:20:07 |
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 |
hour | day | week | total |
---|---|---|---|
94 | 1286 | 9596 | 192464 |