Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . and (and (∀ x2 . prim1 x2 x080242.. x2) (∀ x2 . prim1 x2 x180242.. x2)) (∀ x2 . prim1 x2 x0∀ x3 . prim1 x3 x1099f3.. x2 x3)
type
ιιο
theory
HoTg
name
-
definition
PURFE..
Megalodon
-
proofgold address
TMcc9..
creator
2815 PrGxv../8cd00..
owner
2815 PrGxv../8cd00..
term root
dd8c0..