Search for blocks/addresses/...

Proofgold Proposition

0 ∈ ap (ap (9ca4f.. (setexp 2 2)) d8d8a..) (lam 2 (λ x0 . ap (ap 90e5f.. x0) 497c5..))
type
prop
theory
HotG
name
-
proof
PUZw1..
Megalodon
-
proofgold address
TMVf1..
creator
48789 PrMzh../d033a..
owner
48789 PrMzh../d033a..
term root
85d45..