Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . Subq x0 x1Subq (e5b72.. x0) (e5b72.. x1)
type
prop
theory
HoTg
name
-
proof
PUUEj..
Megalodon
-
proofgold address
TMMW9..
creator
2699 PrGxv../9e3c6..
owner
2699 PrGxv../9e3c6..
term root
0af09..