| Name | Version | Summary | date |
|---|---|---|---|
| model-checker | 1.0.0 | A hyperintensional theorem prover for developing and and exploring programmatic semantic theories. | 2025-08-16 17:03:35 |
| stlmc | 1.0.0.dev3 | An SMT-based bounded model checker for signal temporal logic | 2025-01-21 19:19:42 |
| hour | day | week | total |
|---|---|---|---|
| 86 | 1500 | 10313 | 312462 |