Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . In x0 (Power x0)
type
prop
theory
HF
name
-
proof
PUNKw..
Megalodon
Self_In_Power
proofgold address
TMXTk..Self_In_Power
creator
628 Pr4Ru../87574..
owner
628 Pr4Ru../87574..
term root
b42fc..