Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
2e708..conj_DiophantineMod_TMMo8pBookoXEESiq2r3ZfkVrFWr7f2ZUHS 25.00
TMdvE..conj_HOUnif_TMdvEX93x9PyT1U1fdGLoaeqt2JGHvBJQmD 25.00
TMaQo..conj_HOSetConstr_TMaQoRGDpkekfGRr9XRjuGS5HFVu8NcS67L 25.00
8a17c.. 25.00
66c66..conj_AIM1_TMH78d8s9kXXCxFFuHhtdfMy477fgwH2NuN 26.00
c32a1..conj_AIM1_TMbCXqGXuEDmoEiZtnRWxf69bFVEqPf8ZXi 26.00
6ad43..conj_AIM2_TMQyXBNnBAJx7ybLKcEVTxX9niAZnahm8vo 26.00
88a27..conj_AIM2_TMZDqYZrMa38Tho94LYfxeqgxbnagYoZ2GL 26.00
ef419..conj_AIM2_TMTxtmRrTrMaL3PehaKWjhaZ4z4EgXWdrpg 26.00
e1165..conj_AIM2_TMRkFPEtGx7yR6j844NQWvCkoJZEdHMyYsY 26.00
d928b..conj_AIM1_TMbUvwriChgMTu3cMVGUyZtXgqxYa2WYxML 26.00
ef256..conj_AIM2_TMPFkAf6BaS4h23HCCq5csdxBmVtfHzFxFq 26.00
3726f..conj_AIM1_TMUqsnfURJNqZ7nDudpUYzYd5svkZCemGWs 26.00
5970e.. 26.00
25797..conj_AIM2_TMY5TViFFjTsiv6z2sPu7ordmYUeQYUZuV9 26.00
de6fb..conj_AIM1_TMPCkosExTxE5qbvQgyvBnMo6FatG2pfeiH 26.00
7c98c..conj_AIM2_TMEji1q5nfvMxBjNPHCGqYQC1yf8zypqci8 26.00
87c09..conj_AIM2_TMV8C9ctD4cKy64X6q1zzzF6T8y4PRqnTbW 26.00
7313e.. 26.00
d2bb7..conj_AIM2_TMKhDsbL3QL2bPtNTEPVw7GE5nhP9nQE4Tq 26.00

More recent placed
Recently collected bounties
5c476..Conj_real_add_SNo__36__12 25.00
e0a4a..Conj_minus_SNo_prop1__2__2 25.00
cf6dd..Conj_minus_SNo_prop1__9__3 25.00
f2a7f..MetaCat_struct_u_idem_product_constr 100.00
877ff..MetaCat_struct_u_idem_equalizer_constr 125.00
5b67a..MetaCat_struct_u_idem_pullback_constr 250.00
2fd91..MetaCat_struct_u_idem_initial 25.00
ed3d2..MetaCat_struct_u_left_adjoint_forgetful 750.00
8822b..MetaCat_struct_u_inj_left_adjoint_forgetful 750.00
49304..MetaCat_struct_u_idem_left_adjoint_forgetful 750.00
e92bb..t10_sin_cos8 25.00
cc92e..t13_arytm_3 25.00
cd3d8..t5_radix_1 25.00
572d4..Conj_ordinal_ordsucc_In_eq__1__1 25.00
not_TwoRamseyProp_3_7_22not_TwoRamseyProp_3_7_22 300.00
8cad5.. 100.00
TwoRamseyProp_3_6_18TwoRamseyProp_3_6_18 800.00
09af7.. 500.00
867ba.. 100.00
8acb5.. 100.00

More recent collected