Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMT1L..MetaCat_struct_b_b_r_e_e_ordered_field_coequalizer_constr 125.00
TMLYn..MetaCat_struct_b_b_r_e_e_ordered_field_equalizer_constr 125.00
6fb85..MetaCat_struct_b_b_r_e_e_ordered_field_product_exponent 250.00
TMX33..MetaCat_struct_b_b_r_e_e_ordered_field_pushout_constr 250.00
d2d4c..MetaCat_struct_b_b_r_e_e_ordered_field_coproduct_constr 100.00
TMTfq..MetaCat_struct_b_b_r_e_e_ordered_field_pullback_constr 250.00
38cd2..MetaCat_struct_b_b_r_e_e_ordered_field_initial 25.00
a0412..MetaCat_struct_b_b_r_e_e_ordered_field_nno 250.00
eeafe.. 1.00
b7323.. 1.00
TMFjs.. 200.00
TMQy9.. 200.00
TMVwP.. 200.00
TMce4.. 200.00
TMUAz.. 200.00
TMQ16.. 200.00
TMcUV.. 200.00
TMSDL.. 200.00
TMcfj.. 200.00
TMNj9.. 200.00

More recent placed

Recently collected bounties
57ed9..MetaCat_struct_p_nonempty_left_adjoint_forgetful 750.00
538f6..MetaCat_struct_r_wellord_left_adjoint_forgetful 750.00
123cf..MetaCat_struct_r_partialord_left_adjoint_forgetful 750.00
82000..MetaCat_struct_r_ord_left_adjoint_forgetful 750.00
8dcfe..MetaCat_struct_r_per_left_adjoint_forgetful 750.00
1e88d..MetaCat_struct_r_graph_left_adjoint_forgetful 750.00
5da2f..MetaCat_struct_c_left_adjoint_forgetful 750.00
eeafe.. 1.00
b7323.. 1.00
form100_11_infinite_primesform100_11_infinite_primes 500.00
056f4.. 25.00
7fba8.. 25.00
1ddc7.. 25.00
11a9d.. 25.00
35e2b.. 25.00
5f782.. 25.00
0008e.. 25.00
90f17.. 25.00
d22fa.. 25.00
8c107.. 25.00

More recent collected