Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 x3 . 0x3x2x3x0x1setexp x2 x0setexp x3 x1
type
prop
theory
HotG
name
setexp_0_mon
proof
PUgbQ..
Megalodon
setexp_0_mon
proofgold address
TMG4a..setexp_0_mon
creator
4904 Pr6Pc../29a87..
owner
4904 Pr6Pc../29a87..
term root
9626c..