Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x0ordinal x1x0x1ordsucc x0ordsucc x1
type
prop
theory
HotG
name
-
proof
PUcPW..
Megalodon
-
proofgold address
TMZtV..
creator
8134 PrFVW../1df90..
owner
8134 PrFVW../1df90..
term root
7efa9..