Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . struct_r x0 ⟶ struct_r x1 ⟶ struct_r (BinReln_product x0 x1)
type
prop
theory
HotG
name
-
proof
PUKcr..
Megalodon
-
proofgold address
TMFtp..
creator
11519 PrEBh../73572..
owner
11519 PrEBh../73572..
term root
82d75..