Search for blocks/addresses/...

Proofgold Object

Loop_with_defs_cex2
type
ι(ιιι) → (ιιι) → (ιιι) → ι(ιιι) → (ιιιι) → (ιιι) → (ιιιι) → (ιιιι) → (ιιι) → (ιιι) → (ιιι) → (ιιι) → ο
theory
hf axiom
name
Loop_with_defs_cex2
definition
-
Megalodon
-
proofgold address
-
creator
owner
term root
9e404..