Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
7e816..
conj_AIM2_TMNLnss3m9pgdxeTCSAwPu1zwAjJEFs4CUi
26.00
e2876..
conj_AIM1_TMFVfMFrfnuBTG4pvDb817DsoFcuHupq4aS
26.00
7cff3..
conj_AIM2_TMJQHvWk5tHnVyim18ycQFY99pB3ZTe6XfU
26.00
55ecf..
conj_AIM1_TMHaLCqe4H4n9vTjLZsztVXmqmjXqjF5wQ6
26.00
a60e6..
conj_AIM1_TMRdFUiGP3h5WLqK1PWAysmu91U924hHr8U
26.00
d1458..
conj_AIM2_TMNwwQatWUFc9V2eXirm5PojkNhHsNgr5TJ
26.00
ef147..
conj_AIM2_TMFZ5P5zvj2j8TUHcs2etuXYrNQ7cP2ficy
26.00
c458e..
conj_AIM2_TMFVDzhZqjXAksSwxMWwdmjugRtWJFrtrJs
26.00
6b7d2..
conj_AIM2_TMYF1gPPR38y3sgYokK54MYrGFfvkonKUUF
26.00
636b8..
conj_AIM1_TMH9s4qQcC7mWmKTuk8aJbjJq8Rna9ueigy
26.00
36dbe..
conj_AIM1_TMGD4zPDyUzaM5vpYzFAGg9ZXHEAiQq2maB
26.00
89a11..
conj_AIM2_TMJ5YdPMfJLE4oRrqZjVk6s8qskrtLmCnJB
26.00
465c6..
conj_AIM1_TMcZjrAi9fvTqfCBMsMA2ZGrCiKCEyPfiNW
26.00
704f1..
conj_AIM1_TMFbyfJn5iNuqb4HD78HidKGBmTKu25fU9F
26.00
b6499..
conj_AIM2_TMMjGzHj6JyyWKqtVjVTirTimCpdiTbqZgt
26.00
3de75..
conj_AIM1_TMGxkBxcqPDJvr6BjkW5qsZGnQzyqimvtzJ
26.00
eb7ca..
26.00
84cfa..
conj_AIM1_TMSjPFZCX55e58MWF7KcFYqvE9th78rww55
26.00
a56c2..
conj_AIM1_TMWuXX3wRba1e52BKmY1p9fzpXs2GJsZxbV
26.00
7c730..
conj_AIM2_TMVEqtDEeiLNyM2Q6TVFaEjhfkkQvoB3eX9
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_22
not_TwoRamseyProp_3_7_22
300.00
8cad5..
100.00
TwoRamseyProp_3_6_18
TwoRamseyProp_3_6_18
800.00
09af7..
500.00
867ba..
100.00
8acb5..
100.00
More recent collected