Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0setminus u15 u6∀ x1 : ι → ο . x1 u6x1 u7x1 u8x1 u9x1 u10x1 u11x1 u12x1 u13x1 u14x1 x0
type
prop
theory
HotG
name
-
proof
PUdwf..
Megalodon
-
proofgold address
TMdYY..
creator
31380 Pr4zB../a7881..
owner
31380 Pr4zB../a7881..
term root
ec903..