Search for blocks/addresses/...
Proofgold Proposition
add_nat
u7
u2
=
u9
type
prop
theory
HotG
name
-
proof
PUdSd..
Megalodon
-
proofgold address
TMJFy..
creator
22019
Pr4zB..
/
1bc89..
owner
22019
Pr4zB..
/
1bc89..
term root
407f4..