Search for blocks/addresses/...

Proofgold Proposition

8 = 6∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_8_6
proof
PUUcH..
Megalodon
neq_8_6
proofgold address
TMM57..neq_8_6
creator
4892 Pr6Pc../34c39..
owner
4892 Pr6Pc../34c39..
term root
15c47..