Viewer

Branch	main
SHA	3420abcbd03c85a975459011f8d077518d291ce7

Data

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

Host
Branch
SHA	2ea0ba9cdc7f465b5ad184d65912d9c3f01e1239
Sync	just now

Entities

Spaces	227
Properties	249
Theorems	939
Traits	2151
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.