Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
2edf3..MetaCat_struct_b_b_e_nno 250.00
TMWx2..MetaCat_struct_b_b_e_rng_subobject_classifier 250.00
c846f..MetaCat_struct_b_b_e_e_terminal 25.00
TMRUq..MetaCat_struct_b_b_e_e_pullback_constr 250.00
dbe72..MetaCat_struct_b_b_e_crng_nno 250.00
08a75..MetaCat_struct_b_b_e_rng_left_adjoint_forgetful 750.00
0ab38..MetaCat_struct_b_b_e_e_coproduct_constr 100.00
TMHnx..MetaCat_struct_b_b_e_equalizer_constr 125.00
TMSfc..MetaCat_struct_c_Hausdorff_topology_coequalizer_constr 125.00
23816..MetaCat_struct_b_b_e_crng_terminal 25.00
TMKJe..MetaCat_struct_b_b_e_e_pushout_constr 250.00
6b467..MetaCat_struct_b_b_e_e_semiring_product_exponent 250.00
TMHyG..MetaCat_struct_b_b_e_coequalizer_constr 125.00
e9603..MetaCat_struct_b_b_e_e_cring_initial 25.00
TMRHW..MetaCat_struct_b_b_r_e_e_equalizer_constr 125.00
TMJny..MetaCat_struct_b_b_e_e_ring_pushout_constr 250.00
e16e0..MetaCat_struct_b_b_e_e_ring_left_adjoint_forgetful 750.00
86327..MetaCat_struct_b_b_r_e_e_product_constr 100.00
771a0..MetaCat_struct_b_b_r_e_e_left_adjoint_forgetful 750.00
TMHHM..MetaCat_struct_b_b_e_e_field_coequalizer_constr 125.00

More recent placed
Recently collected bounties
29078.. 100.00
47d21.. 500.00
b51da.. 100.00
02907.. 100.00
50435.. 100.00
c283f.. 100.00
8bf56.. 100.00
21e21.. 100.00
1efd9.. 100.00
04590.. 100.00
18a4e.. 100.00
form100_1_v1form100_1_v1 500.00
ea57c.. 375.00
49b78.. 100.00
3f0d2.. 25.00
f06ab.. 25.00
af4ac.. 25.00
1bc64.. 25.00
6105a.. 25.00
e47a1.. 25.00

More recent collected