Viewer

Branch	main
SHA	3420abcbd03c85a975459011f8d077518d291ce7

Data

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

Host
Branch
SHA	22802b65cfb65e90e93015921d8f51bbfd343889
Sync	just now

Entities

Spaces	223
Properties	246
Theorems	926
Traits	2114
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.