Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . Subq (aae7a.. (f482f.. x0 4a7ef..) (f482f.. x0 (4ae4a.. 4a7ef..))) x0
type
prop
theory
HoTg
name
-
proof
PUhr2..
Megalodon
-
proofgold address
TMaLx..
creator
2790 PrGxv../efb33..
owner
2790 PrGxv../efb33..
term root
a9dae..