Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 . x1x0∀ x2 : ο . (∀ x3 . and (and (nat_p x3) (x3x0)) (equip x1 x3)x2)x2
type
prop
theory
HotG
name
-
proof
PUf8d..
Megalodon
-
proofgold address
TMQeT..
creator
22080 Pr4zB../5d50c..
owner
22080 Pr4zB../5d50c..
term root
8b064..