Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
49ffb..MetaCat_struct_b_b_e_e_ring_terminal 25.00
80dff..MetaCat_struct_b_b_e_e_field_product_constr 100.00
088b7..MetaCat_struct_b_b_e_e_field_initial 25.00
b53aa..MetaCat_struct_b_b_e_e_ring_product_constr 100.00
c981f..MetaCat_struct_b_b_r_e_e_nno 250.00
TMR7Z..MetaCat_struct_b_b_e_e_cring_equalizer_constr 125.00
38f47..MetaCat_struct_b_b_e_e_field_nno 250.00
c07a0..MetaCat_struct_b_b_e_e_field_terminal 25.00
TMGtV..MetaCat_struct_b_b_e_e_cring_coequalizer_constr 125.00
323c3..MetaCat_struct_b_b_e_e_cring_terminal 25.00
c7343..MetaCat_struct_b_b_e_e_cring_left_adjoint_forgetful 750.00
TMQPs..MetaCat_struct_b_b_e_e_field_pushout_constr 250.00
8c9eb..MetaCat_struct_b_b_e_e_ring_product_exponent 250.00
27f55..MetaCat_struct_b_b_e_e_ring_initial 25.00
TMPLd..MetaCat_struct_b_b_e_e_cring_pushout_constr 250.00
f54cc..MetaCat_struct_b_b_e_e_cring_nno 250.00
2e28b..MetaCat_struct_b_b_r_e_e_terminal 25.00
e4133..MetaCat_struct_b_b_r_e_e_coproduct_constr 100.00
TMTXt..MetaCat_struct_b_b_e_e_field_pullback_constr 250.00
TMRgs..MetaCat_struct_b_b_r_e_e_pushout_constr 250.00

More recent placed
Recently collected bounties
82be6.. 25.00
9c245.. 25.00
95262.. 25.00
f0474.. 25.00
fd4e7.. 25.00
6457a.. 25.00
bf53d.. 25.00
45a97.. 25.00
4e8cf.. 25.00
c6dc4.. 25.00
a982e.. 25.00
fb5f8.. 25.00
bcdb8.. 25.00
f4ebc.. 25.00
dbd60.. 25.00
f77ae.. 25.00
1c13a.. 25.00
bf7af.. 25.00
6642c.. 25.00
8d1c9.. 25.00

More recent collected