Search for blocks/addresses/...

Proofgold Proposition

0 = 1∀ x0 : ο . x0
type
prop
theory
HotG
name
neq_0_1
proof
PUfQZ..
Megalodon
neq_0_1
proofgold address
TMW8j..neq_0_1
creator
4898 Pr6Pc../349bc..
owner
4898 Pr6Pc../349bc..
term root
9630f..