Proofgold recent bounties

Recently placed bounties

e009b..^{conj_AIM1_TMMhdr16nLvN3TMP5srBURuJatVJu3eurM9} 26.00
d4c15..^{conj_AIM1_TMFw8qJVKr2e9kkJGB6BXAMRkYRntuk1f1p} 26.00
f5ef7..^{conj_AIM1_TMH4D3ZqXKJwMf92fA891NvZUDHgquwHffE} 26.00
c0b06..^{conj_AIM2_TMSkmrcYDU3cHDFoAS3NHFQqNn73dP1TyJk} 26.00
4b15c.. 26.00
9a8cc..^{conj_AIM1_TMJsusEhwNWsaRE2MTs7Z2UV7iN9MGfqvGQ} 26.00
6d102..^{conj_AIM1_TMJYZNCLsFwizzQyjpH1dNrtdiB8Mpzm21h} 26.00
9224e..^{conj_AIM1_TMcszZ6SkyDUtib4SUzsoTziNBm91qDgmZw} 26.00
ebddd.. 26.00
d1e32..^{conj_AIM2_TMdRJb3k6H9p3bQTtPhRcGL24kHd1K4rGJu} 26.00
a48d1..^{conj_AIM2_TMNv3L6p1s6eknTrvDSb1eciD3nLtMgjvxT} 26.00
47381..^{conj_AIM1_TMJqUaGJyZC2KoUYyihjhGah1sAZPzckBnG} 26.00
256f7..^{conj_AIM2_TMF2eZ8yp2assDuyqeyispdKEmZLhFnju1h} 26.00
53074..^{conj_AIM1_TMMcA4ahPh46m6RHxrtMCFtFmbGx1z4oQbk} 26.00
ccbfa..^{conj_AIM2_TMVLBNTMHcBLpr1GgsZ769Ks5AXa5hW5cuA} 26.00
4fbd1..^{conj_AIM2_TMRVgTB9RuQHXppzfisFksYxQtjW5ka22YY} 26.00
299fb..^{conj_AIM2_TMXpZUhCLtd8qfaJVYbdcLWTjuKas8G9EHK} 26.00
60575..^{conj_AIM2_TMPeEYeSTnNSB84rrM1KuYXCXuVqcjRQiqB} 26.00
be5a8..^{conj_AIM1_TMSzRsqKz7h3eUVajwhw8XsNbCLhk6LDUzB} 26.00
bb3a3..^{conj_AIM2_TMSKEL8njfgkL3UrV2YBqwNxPJZrr6TzRDo} 26.00

More recent placed

Recently collected bounties

18ea9..^{MetaCat_struct_r_ord_terminal} 25.00
49763..^{MetaCat_struct_r_wellord_terminal} 25.00
5dc25..^{MetaCat_struct_r_equivreln_initial} 25.00
1615b..^{MetaCat_struct_p_initial} 25.00
14bd1..^{MetaCat_struct_p_terminal} 25.00
da2c1..^{MetaCat_struct_p_nonempty_initial} 25.00
128d6..^{MetaCat_struct_p_nonempty_terminal} 25.00
adce2..^{MetaCat_struct_r_ord_initial} 25.00
ae77a..^{MetaCat_struct_r_equivreln_terminal} 25.00
bf553..^{MetaCat_struct_r_per_terminal} 25.00
105dd..^{MetaCat_struct_r_wellord_initial} 25.00
f3af9..^{MetaCat_struct_r_partialord_initial} 25.00
f400a..^{MetaCat_struct_r_terminal} 25.00
743bb..^{MetaCat_struct_r_per_initial} 25.00
d664c..^{MetaCat_struct_r_initial} 25.00
fc401..^{MetaCat_struct_r_graph_initial} 25.00
05e4b..^{MetaCat_struct_c_initial} 25.00
40a5e..^{MetaCat_struct_c_terminal} 25.00
71d59..^{MetaCat_struct_r_wellord_product_constr} 100.00
e28a3..^{MetaCat_struct_r_ord_product_constr} 100.00

Proofgold recent bounties

More recent placed

More recent collected