Search for blocks/addresses/...

Proofgold Proposition

not (equip omega (prim4 omega))
type
prop
theory
HotG
name
form100_22_v1
proof
PUeVh..
Megalodon
form100_22_v1
proofgold address
TMZAf..form100_22_v1
creator
29749 PrQUS../1bad3..
owner
29749 PrQUS../1bad3..
term root
7ab65..