Meta
Counted from the store serving this page. A number that cannot be counted is named and left empty.
Submitted
3 networks19 sections108 statements0 in more than one
Pool
653 statements2272 edges7 islands49 on the frontier
Connections
Relations
uses1729
references304
cites169
formalizes60
depends10
Formalized
2 libraries63 files0 sorry
Formalized pool
60 statements9% of the pool
Frontier means a statement nothing else has been built on. Islands are connected components: one means everything published is reachable from everything else, and a second appears when a subject arrives sharing no statement with what is here.