Search for blocks/addresses/...

Proofgold Proposition

add_SNo u24 (minus_SNo u20) = u4
type
prop
theory
HotG
name
-
proof
PUf8d..
Megalodon
-
proofgold address
TMM7S..
creator
22080 Pr4zB../25f43..
owner
22080 Pr4zB../25f43..
term root
caaed..