Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMKKm..conj_Diophantine_TMKKmfsEeLuXxfHVAmDy4A4AQ7N33VNfbGa 25.00
b9a77.. 25.00
TMRN4..conj_DiophantineMod_TMRN49kG8zYBNufgGx5ytNXsv7r61Q8gpwC 25.00
TMGfs..conj_AbstrHF_TMGfsy2udFAxjmHzC9RWE97sBS7u5yfNnY2 25.00
8e87c.. 25.00
cb546.. 25.00
aa86e.. 25.00
74c55.. 25.00
TMRU5..conj_Diophantine_TMRU5MGnwZrputHfCxj1QBGfAYmrvptMqC9 25.00
TMWHo..conj_Diophantine_TMWHosWwN4PPp9jY9z7Xpfspx7JairhePQJ 25.00
TMKwX..conj_AbstrHF_TMKwXr4hjfXY9ppgWP3dU8E3vnucshWwcda 25.00
e36ba.. 25.00
TMLm2..conj_DiophantineMod_TMLm2trjPtLBSGc1NsPVEUikKBzSZ9GArAW 25.00
TMdxe..conj_Diophantine_TMdxe9kiXPZyaPyT571A2ksopWU8XkwRG16 25.00
3fdf6.. 25.00
2a5b9.. 25.00
TMRng..conj_AbstrHF_TMRngMQFsbC8TYdqaYbjQoNTQCwUDrpfxns 25.00
TMGhz..conj_QBF_TMGhzhvW6AFNFnoDGmfptKaPZfhx84jMDBr 25.00
cc173.. 25.00
TMd5i..conj_CombUnif_TMd5i8zVjppAGbcevy5KmRvW8LvzHUM7voX 25.00

More recent placed
Recently collected bounties
0e563..MetaCatSet_nno 250.00
b3083..MetaCatSmallSet_pushout 250.00
d1a34..MetaCat_struct_r_partialord_pullback_constr 250.00
e7f7d..MetaCat_struct_r_equivreln_pullback_constr 250.00
c2d12..MetaCat_struct_r_graph_pullback_constr 250.00
4d1df..MetaCat_struct_r_equivreln_product_constr 100.00
4f9ac..MetaCat_struct_p_product_constr 100.00
45658..MetaCat_struct_p_nonempty_product_constr 100.00
ece68..MetaCat_struct_r_product_constr 100.00
b370d..MetaCat_struct_r_per_product_constr 100.00
42715..MetaCat_struct_r_partialord_product_constr 100.00
709ef..MetaCat_struct_r_graph_product_constr 100.00
592be..MetaCat_struct_p_product_exponent 250.00
37ab0..MetaCatSet_product_exponent_gen_setprod_setexp 250.00
29786..MetaCatHFSet_product_exponent 250.00
e25fa..MetaCat_struct_p_nonempty_product_exponent 250.00
32b3d..MetaCatSet_product_exponent_gen 250.00
1810c..MetaCatSet_product_exponent 250.00
97ee8..MetaCat_struct_r_per_product_exponent 250.00
7f417..MetaCat_struct_r_product_exponent 250.00

More recent collected