Search for blocks/addresses/...

Proofgold Proposition

MetaCat_terminal_p 8b17e.. BinRelnHom struct_id struct_comp (pack_r 0 (λ x0 x1 . False)) (λ x0 . 0)
type
prop
theory
HotG
name
-
proof
PUMZ2..
Megalodon
-
proofgold address
TMShn..
creator
11302 PrEBh../ee9e5..
owner
11302 PrEBh../ee9e5..
term root
5bb34..