Search for blocks/addresses/...
Proofgold Proposition
TwoRamseyProp
3
6
18
type
prop
theory
HotG
name
TwoRamseyProp_3_6_18
proof
PUcra..
Megalodon
TwoRamseyProp_3_6_18
proofgold address
TMbJ1..
TwoRamseyProp_3_6_18
creator
31062
Pr4zB..
/
61293..
owner
31063
Pr4zB..
/
1dfa3..
term root
81b8e..