Search for blocks/addresses/...
Proofgold Proposition
prim1
(
λ x1 .
236c6..
)
=
236c6..
⟶
False
type
prop
theory
HOAS
name
-
proof
PUaq1..
Megalodon
-
proofgold address
TMRTU..
creator
1995
PrGxv..
/
9bcfd..
owner
1995
PrGxv..
/
9bcfd..
term root
8353f..