Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . ∀ x1 . If_i x0 x1 x1 = x1
type
prop
theory
HoTg
name
If_i_eta
proof
PULk4..
Megalodon
-
proofgold address
TMKFs..
creator
2719 PrGxv../9031c..
owner
2719 PrGxv../9031c..
term root
c790e..