Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . SNo x0SNo x1SNoLev x1ordsucc (SNoLev x0)SNoLt (SNo_extend0 x0) x1SNoLe x0 x1
type
prop
theory
HotG
name
-
proof
PUULb..
Megalodon
-
proofgold address
TMVwQ..
creator
12391 PrGxv../83646..
owner
12391 PrGxv../83646..
term root
0f17e..