Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
f3af9..MetaCat_struct_r_partialord_initial 25.00
f1e9d..MetaCat_struct_r_partialord_product_exponent 250.00
TMYX1..MetaCat_struct_r_partialord_pushout_constr 250.00
c5610..MetaCat_struct_u_bij_product_exponent 250.00
d27a8..MetaCat_struct_r_wellord_equalizer_constr 125.00
TMHYc..MetaCat_struct_r_equivreln_pushout_constr 250.00
b370d..MetaCat_struct_r_per_product_constr 100.00
95edd..MetaCat_struct_r_ord_pullback_constr 250.00
e7f7d..MetaCat_struct_r_equivreln_pullback_constr 250.00
c368b..MetaCat_struct_b_equalizer_constr 125.00
ece68..MetaCat_struct_r_product_constr 100.00
9a2fc..MetaCat_struct_r_coproduct_constr 100.00
123cf..MetaCat_struct_r_partialord_left_adjoint_forgetful 750.00
f2a7f..MetaCat_struct_u_idem_product_constr 100.00
49304..MetaCat_struct_u_idem_left_adjoint_forgetful 750.00
9460d..MetaCat_struct_r_wellord_product_exponent 250.00
TMJ1Q..MetaCat_struct_u_bij_coequalizer_constr 125.00
955bd..MetaCat_struct_u_bij_initial 25.00
d1a34..MetaCat_struct_r_partialord_pullback_constr 250.00
2fd91..MetaCat_struct_u_idem_initial 25.00

More recent placed
Recently collected bounties
6eafe.. 280.00
ee513.. 280.00
745b7.. 280.00
07b9c.. 280.00
740a6.. 280.00
39a86.. 280.00
e5fe5.. 280.00
41c8b.. 280.00
73a98.. 280.00
6bbff.. 280.00
c7a39.. 280.00
670de.. 280.00
3de6d.. 280.00
49180.. 280.00
da898.. 280.00
9d36d.. 280.00
7c33d.. 280.00
3f448.. 280.00
c2580.. 280.00
df410.. 280.00

More recent collected