Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
883bd..MetaCat_struct_u_inj_terminal 25.00
e25fa..MetaCat_struct_p_nonempty_product_exponent 250.00
8381c..MetaCatSet_pushout_gen 250.00
TMPWw..MetaCat_struct_p_nonempty_subobject_classifier 250.00
da2c1..MetaCat_struct_p_nonempty_initial 25.00
04991..MetaCatSmallSet_coequalizer 125.00
TMNsH..MetaCat_struct_p_subobject_classifier 250.00
57ed9..MetaCat_struct_p_nonempty_left_adjoint_forgetful 750.00
a9079..MetaCat_struct_u_product_constr 100.00
14bd1..MetaCat_struct_p_terminal 25.00
501bf..MetaCat_struct_u_inj_product_constr 100.00
2e08d..MetaCatHFSet_pullback 250.00
29786..MetaCatHFSet_product_exponent 250.00
8da75..MetaCat_struct_e_coproduct_constr 100.00
45658..MetaCat_struct_p_nonempty_product_constr 100.00
TMctQ..MetaCat_struct_u_pushout_constr 250.00
ae25c..MetaCatSet_equalizer_gen 125.00
75fea..MetaCat_struct_u_terminal 25.00
3d3ca..MetaCatSmallSet_equalizer_gen 125.00
33046..MetaCatSet_coequalizer 125.00

More recent placed
Recently collected bounties
65298..Conj_SNo_etaE__5__0 25.00
a5394..Conj_ctagged_eqE_Subq__2__3 25.00
82613..Conj_SNo_etaE__2__1 25.00
27e21..Conj_add_SNo_minus_Lt_lem__2__6 25.00
f1351..Conj_ctagged_eqE_Subq__5__2 25.00
c2b6b..Conj_add_SNo_cancel_L__2__3 25.00
87a42..conj_DiophantineMod_TMZG2uH8DT11Vhbdka7xamBEcV7j2Xx5Moo 25.00
bcaac..conj_DiophantineMod_TMMpRDJYr6Kx2ZRSiByGLo2Rv12FvMSJc41 25.00
c893f..conj_DiophantineMod_TMWTPmHk1xYFCZ7ABS3J7Mhvc7kUMrR6hGX 25.00
99807..conj_DiophantineMod_TMHX75k3mncdKg5XLAo542FzmLus4ASHzrs 25.00
06ce7..conj_DiophantineMod_TMHrWr2XojMB3eVin4Gu1GhT7T8zVDS7adq 25.00
ebc25..conj_Diophantine_TMHefzm8R6PycQg5cKUWKcqsn1C4J4NRUZt 25.00
5badd..conj_DiophantineMod_TMGwZXBgBmq7LUsmmJVJsRBkygkc8HtCYE6 25.00
18018..conj_DiophantineMod_TMRQyRQkyjFFXkqbrk4wVLYnEzcQh6Fpri6 25.00
b89a0..conj_DiophantineMod_TMdLgwq81Z8yNtMuUmUmWCYxHjuUesgBNq5 25.00
7e801..conj_DiophantineMod_TMY5jN9GHkYsFT2dhbMJtceF6uCZpjMjS1b 25.00
9b266..conj_Diophantine_TMbjaFityMMiaAcymQxudbcoPCekeqc66PF 25.00
99a71..conj_Diophantine_TMLNDivbs1ege7kUW5Aen13j5YpLYob9LZp 25.00
59ccc..conj_Diophantine_TMEzzxbPUZAg2PoZj6zitYaMiU3oHCYCwWM 25.00
d1570..conj_DiophantineMod_TMbjvWwmC4Kb1W8QLBAEDLjvep81JLg9gmN 25.00

More recent collected