Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMVJh..conj_AbstrHF_TMVJhZYQPyaNHJtwuYtefJwFFG5MMC4fdDS 25.00
TMKbG..conj_Diophantine_TMKbGhac2q7SziwonJA5XG3mR9xn4B8E6fw 25.00
TMFAp..conj_AbstrHF_TMFApVa1dX8r1qpHs7rU1kSZCw8uGKsuF8a 25.00
TMVWi..conj_Diophantine_TMVWiWUrpcYFwWEFYnUiK3u3fe9zy3X3AWW 25.00
TMdPM..conj_Diophantine_TMdPMt54icLLiqCi4RD39LRSKbDNGur1B9s 25.00
9699e..conj_Diophantine_TMR11X72UCSLJPbA99hZFNVuhQcvCy81LSc 25.00
TMMzs..conj_Diophantine_TMMzs6k9xgpj13Y22MKzau9ih324rQ8GWot 25.00
65367.. 25.00
TMHmF..conj_Diophantine_TMHmFv3PYsVRYmb6TmAg6RKLZfvMDqsUQyp 25.00
TMMpw..conj_HOSetConstr_TMMpw1cahFCGBnSbYzoj7W2HZN87XVfQZu9 25.00
TMErW..conj_DiophantineMod_TMErWkeE9R3cznociaQ4FEKgkH4oLEZDjzR 25.00
TMHvL..conj_Diophantine_TMHvLSJRpnqWrULJteFVXhF86PYARTAaJLR 25.00
TMMj5..conj_Random1_TMMj5ARG9BXR3XTjwFRDiUnbZ57NDYvUCGL 25.00
TMU2B..conj_QBF_TMU2BeXDrwF3ZbRiQnuVjjxoep84RHZbLYj 25.00
TMYWu..conj_Diophantine_TMYWubc1fG8D7ZbvYQ5oN4U3fgx3QQGXybQ 25.00
011a5.. 25.00
b0327.. 25.00
82be6.. 25.00
afc4d.. 25.00
287a8.. 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