Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
TMTMT..conj_HOSetConstr_TMTMTLjrxiyhSstbkX3kV47qtEiyZeuiSay 25.00
TMYWJ..conj_QBF_TMYWJacTuawBpL7vJMLrc97oXF3g2tE3DSf 25.00
TMGzc.. 25.00
TMEzY..conj_QBF_TMEzYFjV8YTND7fWe5fbjimRcRN4HvtAoL1 25.00
a4e78.. 25.00
bb429.. 25.00
TMKV4..conj_Diophantine_TMKV4MkgThVVnK5p6JvupRctgHryA28Gvu4 25.00
32b00.. 25.00
TMXSW..conj_DiophantineMod_TMXSWDwPc5JGuUTMkybSsmyZFdczyTCzQmZ 25.00
TMHZY..conj_DiophantineMod_TMHZYLMufDBQbkwZ9GEEsvC4iNTjBEVhUZ8 25.00
TMFs4..conj_Diophantine_TMFs4vRosMXHkgdaYMXTmxdc7LDFpLRibeJ 25.00
95262.. 25.00
1c88a.. 25.00
TMFMK..conj_Diophantine_TMFMKGdxxb5HuzWFt2ijDe1LQMJHkqMDc2y 25.00
TMXDS..conj_Random2_TMXDSQpwAARbtWZzbcFckfwWxvYgsnQnqFq 25.00
TMLzp..conj_Diophantine_TMLzpVfAh93cK3zmZYmpZwgkzd4XLDGrcpL 25.00
TMWko..conj_AbstrHF_TMWko9PMsiJqXpk8uwz9VebeyZ5zQ4YhX8f 25.00
TMHum..conj_CombUnif_TMHumvynZD96hM1aX5pnZerFdfgzsoET7RS 25.00
TMR1N..conj_AbstrHF_TMR1NRfz2rXWfUerLqowXD56y5z4XhYeEwc 25.00
TMaWh..conj_CombUnif_TMaWhxqkahgBuW6ULhgq36KmPzjFFwXDdSY 25.00

More recent placed
Recently collected bounties
d0d3d..Conj_minus_SNo_prop1__5__9 25.00
aa8d2..Conj_real_add_SNo__45__16 25.00
7312b..Conj_real_add_SNo__44__17 25.00
9e3c5..Conj_real_mul_SNo_pos__132__4 25.00
61455..Conj_restr_SNo__1__2 25.00
35556..Conj_real_add_SNo__18__6 25.00
5101e..Conj_mul_SNo_SNoL_interpolate__5__9 25.00
da648..Conj_minus_SNoCut_eq_lem__8__3 25.00
68a43..Conj_mul_SNo_eq__19__2 25.00
d2f6b..Conj_add_SNo_ordinal_ordinal__4__2 25.00
31641..Conj_add_CSNo_assoc__2__4 25.00
ec8fd..Conj_minus_SNo_prop1__5__7 25.00
75d78..Conj_minus_add_SNo_distr__3__2 25.00
694cf..Conj_SNo_approx_real__10__10 25.00
70a69..Conj_add_SNo_com__2__3 25.00
06412..Conj_real_add_SNo__6__6 25.00
1dbb1..Conj_real_add_SNo__10__7 25.00
9d1d7..Conj_minus_SNoCut_eq_lem__11__3 25.00
5ece1..Conj_add_SNo_prop1__4__2 25.00
e4ae8..Conj_real_mul_SNo_pos__135__10 25.00

More recent collected