Search for blocks/addresses/...

Proofgold Proposition

add_SNo u20 (minus_SNo u12) = u8
type
prop
theory
HotG
name
-
proof
PUf8d..
Megalodon
-
proofgold address
TMXzm..
creator
22080 Pr4zB../879d6..
owner
22080 Pr4zB../879d6..
term root
6502b..