Viewer
| Branch | generalization |
|---|---|
| SHA | 12e2c8752da1f9d0167d15c56d57b32c9f66d3d3 |
Data
Using data hosted at
https://pub-65041ca69d744da88ade13abd31ad834.r2.dev/refs/heads/main.json
| Host | |
|---|---|
| Branch | |
| SHA | e33d557a15dd8ae6ec47b441d4b4c7d4aa78250a |
| Sync | just now |
Entities
| Spaces | 223 |
|---|---|
| Properties | 244 |
| Theorems | 913 |
| Traits | 2116 |
| Editor Preview | |