Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . ba9d8.. x2prim1 x1 (prim0 (aa8d2.. x2 x0))prim1 x1 (2f2ea.. x0)
type
prop
theory
HoTg
name
-
proof
PUUEj..
Megalodon
-
proofgold address
TMGb8..
creator
2699 PrGxv../6630a..
owner
2699 PrGxv../6630a..
term root
90122..