Search for blocks/addresses/...

Proofgold Proposition

8 = 4∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_8_4
proof
PUUcH..
Megalodon
neq_8_4
proofgold address
TMdUE..neq_8_4
creator
4892 Pr6Pc../3d064..
owner
4892 Pr6Pc../3d064..
term root
d95ab..