Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
eaf22.. 25.00
TMMew..conj_Diophantine_TMMewLeZEgh2Abum36bkjNRMdABvpngmtKo 25.00
aa8c7.. 25.00
5750f.. 25.00
TMHza..conj_Diophantine_TMHzaqphLVEvkiAmmqxgXP8WmxxUAamSxmF 25.00
TMLLV..conj_Diophantine_TMLLVGjVowu24Nd5TT86JGPnwRJag25Cpt3 25.00
TMYrm..conj_AbstrHF_TMYrmjMfi2wkPTiPMV9oVBPzaEW71AJPQQN 25.00
TMQbq..conj_DiophantineMod_TMQbqETTbghYxCwfz4HBiszhBc1qXHaKW5z 25.00
TMNTt..conj_Diophantine_TMNTtKGziQVK5vwsMTgPjMjwCgTeK2oCipp 25.00
2153a.. 25.00
8dfd1.. 25.00
TMWK3..conj_AbstrHF_TMWK3whEP9K6GZdcVcRVnP11ayzfumzVy6X 25.00
1d2f6.. 25.00
TMYSt..conj_Diophantine_TMYStwaXrjyfLgcTEusLKRThpH93Xyydqdk 25.00
d5088.. 25.00
de892.. 25.00
TMcvc..conj_AbstrHF_TMcvcUgXgZWH7st62SXET8yoNUPPdjjA9Vb 25.00
TMU7g..conj_Diophantine_TMU7gvURSHXNc2b8mAKMFGLbrhcCZyvH9mY 25.00
703cb.. 25.00
TMKYB..conj_Diophantine_TMKYBofZJ6p3n1veet1DGM8Z6gRznRqeqRz 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