Search for blocks/addresses/...

Proofgold Proposition

equip (setminus (setprod u6 u6) (Sing (lam 2 (λ x0 . If_i (x0 = 0) u5 u5)))) u35
type
prop
theory
HotG
name
-
proof
PUgGN..
Megalodon
-
proofgold address
TMKZY..
creator
19339 Pr4zB../8d340..
owner
19339 Pr4zB../8d340..
term root
a5a9f..