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
1d8ba..MetaCat_struct_r_equalizer_constr 125.00
1051b..MetaCatSet_nno_gen_ex 250.00
bfc42..MetaCatHFSet_pushout 250.00
e5b47..MetaCatSet_subobject_classifier_gen_ex 250.00
15618..MetaCatSet_pushout 250.00
833b6..MetaCatSmallSet_nno 250.00
25c26..MetaCatSet_subobject_classifier 250.00
a53be..MetaCatSet_pullback_gen 250.00
341a1..MetaCatHFSet_subobject_classifier 250.00
ebc63..MetaCat_struct_p_nonempty_pullback_constr 250.00
596e3..MetaCatSmallSet_pullback 250.00
fcaee..MetaCatSet_pullback 250.00
bd9cd..MetaCatSet_subobject_classifier_gen 250.00
7223a..MetaCatSmallSet_subobject_classifier 250.00
44067..MetaCat_struct_r_per_pullback_constr 250.00
97f16..MetaCat_struct_r_pullback_constr 250.00
ea037..MetaCatSet_nno_gen 250.00
2e08d..MetaCatHFSet_pullback 250.00
8381c..MetaCatSet_pushout_gen 250.00
8ba3f..MetaCat_struct_p_pullback_constr 250.00

More recent collected