Search for blocks/addresses/...

Proofgold recent bounties

Recently placed bounties
a99e5..conj_AIM2_TMK4EwWTExiSoWkZZsncTQyBrjcvMr5xof6 26.00
49667..conj_AIM1_TMSnKFQ1UUN26Kj55S4U5u88SRYcmKMjWJe 26.00
d80df..conj_AIM1_TMZaGSXjtwTwf1Mq3bRHP7JdKcbbHsXLBbN 26.00
79c01.. 26.00
c2bc3..conj_AIM1_TMdAdbsTYv7qXDtLyZXj7j2AYVBM96KE641 26.00
5aff0..conj_AIM2_TMdLpVuHUZ7wmreixV2Y5ozVQjUjjhWhgbq 26.00
0916f..conj_AIM1_TMNeoSuVXCBqzi89A5wj2eZt1ekMtLSXBhd 26.00
383ea..conj_AIM2_TMF9koU56KBUcCfqgjAdSFZeqVBwaVBUGDd 26.00
d406c..conj_AIM1_TMKkJz9jrbXRKj2VSeD9x5pHseeAocyPBqK 26.00
c58ab..conj_AIM1_TMSL7FQkmDvV5j29GFvHqGB5y1HsMhjMGAr 26.00
deded..conj_AIM2_TMUkv2gHUW6UZK7WXJDmSAVAy7TUig2FjQi 26.00
c18d1..conj_AIM2_TMbpPgjebJcEnzgFEor9vvVQZMhmq2cXfVN 26.00
5a8f3..conj_AIM2_TMWnKsDjyn9DEoqTtkJyeXrpaPpdU4nV2Pi 26.00
02ee4.. 26.00
c9990..conj_AIM2_TMdhPBzzHtf2nqRV4hR2g7AYUU95dxAtRhb 26.00
7f8ab..conj_AIM2_TMZEEgYxWej199LjLpimWoSTJbYt6RcnGHz 26.00
678aa..conj_AIM1_TMPZ7GhZbJYajBbid23ZMsH3UhyW3gaReDn 26.00
2cf3e..conj_AIM1_TMPWkShfAXAReHMtHe1y9F3YMcTLFbpVTE7 26.00
2465c..conj_AIM2_TMGPdkSwYWeunRHRw3SXT9QDixqJ8LGJ6hQ 26.00
6ed8e..conj_AIM1_TMJEoUeqpp3fPeNJx6kvCMo1Xj6pgSj1Srq 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