Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMNjk..conj_HOSetConstr_TMNjkBUt69cVSpS6MfqjST7jF7mqrxi8Qov 25.00
dc728.. 25.00
TMLcW..conj_CombUnif_TMLcWpz6FsP1Ufk4kXeefChiZiCUNKpEvQn 25.00
TMbup..conj_CombUnif_TMbupb35WzNjm797oGnHdKLfXK1RmKqEn6x 25.00
TMZXp..conj_Diophantine_TMZXpF52UXwHDArkgmKcLdD3rrX7CY7L5Ve 25.00
TMaYG..conj_DiophantineMod_TMaYG3fRYGWjt5FMbHV2YUEMGFrFWJu7WBe 25.00
f0474.. 25.00
872b2.. 25.00
TMM5K..conj_CombUnif_TMM5KnEpCiZ8S2mPzDWVepDW39cK3xVW3kH 25.00
TMcUC..conj_AbstrHF_TMcUC4G8Cx5qboH7RLiapXNjH9Q3ttj8bfs 25.00
TMHG4..conj_Diophantine_TMHG4fVfkibjE73TESuoaV3VMJm58PCTsH4 25.00
54da4.. 25.00
TMXWY..conj_CombUnif_TMXWYpZQNURMX3mDGZpzeLkV9679cyJYXH7 25.00
e1676.. 25.00
TMKRD..conj_AbstrHF_TMKRDNmF787B3KGKvTri5Hj3quCDqKJcQL2 25.00
TMFp4..conj_DiophantineMod_TMFp4cXLAnKGs1jXwcXJiDYy4LosMXRNu18 25.00
TMEsj..conj_DiophantineMod_TMEsjVGysTqxoVDYK3qssWmoDPfN3Bec7Kt 25.00
TMa6W..conj_AbstrHF_TMa6WAEvHEz3eNsq4BhpdaskCdu9JoHCx4Q 25.00
TMW5a..conj_DiophantineMod_TMW5a4sXCgcfrRGdgU2fRB2stk232cGQKBF 25.00
29486.. 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