Viewer

Branch	main
SHA	3420abcbd03c85a975459011f8d077518d291ce7

Data

Using data hosted at
https://pub-65041ca69d744da88ade13abd31ad834.r2.dev/refs/heads/main.json

Host
Branch
SHA	963d8a508c39650831ffd48fe261e066419146ab
Sync	just now

Entities

Spaces	224
Properties	246
Theorems	931
Traits	2135
Log to Console Editor Preview Reset
Show redundancies in tables
Show Lean formalisation links (experimental)

---

Community tools

• Pi-Base tools by @danflapjax to check and visualize dependencies between properties.
• pi-base open implications by Felix Pernegger to resolve unknown implications.