Search for blocks/addresses/...

Proofgold Proposition

90aea.. (pack_r 0 (λ x0 x1 . False))
type
prop
theory
HotG
name
-
proof
PUMZ2..
Megalodon
-
proofgold address
TMM5C..
creator
11302 PrEBh../75a50..
owner
11302 PrEBh../75a50..
term root
368e9..