Search for blocks/addresses/...

Proofgold Proposition

add_nat u9 u4 = u13
type
prop
theory
HotG
name
-
proof
PUbsN..
Megalodon
-
proofgold address
TMYTF..
creator
19996 Pr4zB../598fe..
owner
19996 Pr4zB../598fe..
term root
d7fe2..