Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMQ1t..
conj_Random2_TMQ1tQnas4fj59K9UafaJbvBtZPtvAbaNiF
25.00
c2982..
25.00
TMRxJ..
conj_Diophantine_TMRxJ7ycRSpsfYnkAnjq1TfMyWPciUAFezd
25.00
TMTbi..
conj_AbstrHF_TMTbiuzZREH7wA47gSqeeNBsU9boQ3ecuiZ
25.00
TMKSB..
conj_DiophantineMod_TMKSB1YiVBXhGKWfFRg1vEUHEHsdADv4kU7
25.00
TMRrV..
conj_DiophantineMod_TMRrVc7qz2xgrRDrigkVVa2wUDfd6hfwHwu
25.00
TMaZm..
conj_Random2_TMaZmszyn66iEaEB4toUDe9E3L2sSmqMd2R
25.00
TMZQS..
conj_AbstrHF_TMZQSeg9KUHopUFataB9WL9nPpinThhd6qq
25.00
TMUwF..
conj_Diophantine_TMUwF4KnHr9Qnezk4r7GFXT4p58HU6i9eR9
25.00
TMcq2..
conj_QBF_TMcq2cft4Rvt3F3P1Ep6mvAgDUaiyJRwACP
25.00
468d6..
25.00
TMZnR..
conj_Diophantine_TMZnRHdnopk3VQnqf6bF5nJMck852R3Loex
25.00
TMLkv..
conj_DiophantineMod_TMLkv7CMzWHeUHWVqgHRFgTqa31JJ8ns7GV
25.00
TMFc4..
25.00
TMGK6..
conj_QBF_TMGK6kkuMHJT63KxzLTe62RxVFV9PPdRV5K
25.00
3f6b1..
25.00
217df..
25.00
dc925..
25.00
TMcfe..
conj_HOSetConstr_TMcfeEh5WVDTJgiu5LC2sZUxgoXaSFAfbyT
25.00
TMKs6..
conj_AbstrHF_TMKs6igREbgfU4HeWfVKKDDcpTMametAfKH
25.00
More recent placed
Recently collected bounties
760b6..
MetaCat_struct_b_abelian_group_product_constr
100.00
05bdf..
MetaCat_struct_b_group_product_constr
100.00
183c5..
MetaCat_struct_b_semigroup_product_constr
100.00
64746..
MetaCat_struct_b_monoid_product_constr
100.00
9347c..
MetaCat_struct_b_semigroup_equalizer_constr
125.00
994bf..
MetaCat_struct_b_abelian_group_equalizer_constr
125.00
e6d9e..
MetaCat_struct_b_group_equalizer_constr
125.00
61ba2..
MetaCat_struct_b_semigroup_pullback_constr
250.00
42863..
MetaCat_struct_b_group_pullback_constr
250.00
e443a..
MetaCat_struct_b_abelian_group_pullback_constr
250.00
a69df..
MetaCat_struct_u_bij_left_adjoint_forgetful
750.00
34c67..
Conj_ctagged_eqE_Subq__1__1
25.00
6cfb5..
Conj_add_SNo_minus_SNo_linv__9__5
25.00
47fc9..
Conj_eps_ordsucc_half_add__7__0
25.00
6cf6d..
Conj_SNo_eta__5__1
25.00
a558a..
Conj_SNoL_1__1__0
25.00
5103b..
Conj_real_add_SNo__45__20
25.00
09057..
Conj_real_mul_SNo_pos__14__9
25.00
3aec6..
Conj_SNo_approx_real_rep__1__1
25.00
dd834..
Conj_ordinal_SNoR__1__0
25.00
More recent collected