| Name | Version | Summary | date |
|---|---|---|---|
| snob-factor | 2024.2.4 | Mixture modelling by Minimum Message Length (MML) using Factor Snob | 2024-01-03 23:26:23 |
| mizgra | 1.0.1 | Converts Mizar ESX MML mathematical data to property graph formats - GraphML, YARS-PG for Neo4j, and other graph databases | 2023-11-13 16:22:31 |
| hour | day | week | total |
|---|---|---|---|
| 95 | 1643 | 9477 | 204147 |