Search for blocks/addresses/...

Proofgold Proposition

TransSet omega
type
prop
theory
HotG
name
omega_TransSet
proof
PUL8Q..
Megalodon
omega_TransSet
proofgold address
TMKTj..omega_TransSet
creator
4882 Pr6Pc../19dc9..
owner
4882 Pr6Pc../19dc9..
term root
8e89e..