Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . (x0 = x1∀ x2 : ο . x2)4ae4a.. x0 = 4ae4a.. x1∀ x2 : ο . x2
type
prop
theory
HoTg
name
-
proof
PUUEj..
Megalodon
-
proofgold address
TMQgn..
creator
2699 PrGxv../0900e..
owner
2699 PrGxv../0900e..
term root
ce903..