Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x03∀ x1 . x130x0 = 0x11x0 = 1x12x0 = 2x1x0 = x1
type
prop
theory
HotG
name
-
proof
PUNUU..
Megalodon
-
proofgold address
TMPjN..
creator
14937 Pr4zB../47b0d..
owner
14937 Pr4zB../47b0d..
term root
bdf8f..