Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0u18atleastp u5 x0(∀ x1 . x1x0not (0aea9.. x1 u19))(∀ x1 . x1x0not (0aea9.. x1 u21))not (∀ x1 . x1x0∀ x2 . x2x0(x1 = x2∀ x3 : ο . x3)not (0aea9.. x1 x2))
type
prop
theory
HotG
name
-
proof
PUdS4..
Megalodon
-
proofgold address
TMcDi..
creator
31414 Pr4zB../f5ab2..
owner
31414 Pr4zB../f5ab2..
term root
3ec51..