Search for blocks/addresses/...
Proofgold recent bounties
Recently placed bounties
TMVSF..
t8_polyeq_2
25.00
TMSt7..
t7_sin_cos8
25.00
TMPtB..
t92_transgeo
25.00
TMGKe..
t5_fib_num
25.00
TMc1f..
t60_cqc_the3
25.00
TMTcV..
t5_partit1
25.00
TMP4F..
t8_quin_1
25.00
TMNw5..
t5_fdiff_7
25.00
TMcp3..
t97_xxreal_3
25.00
TMG9t..
t91_arytm_3
25.00
TMGvh..
t73_group_11
25.00
TMcxk..
t5_xreal_1
25.00
TMRxT..
t81_cat_3
25.00
TMcBw..
t9_series_4
25.00
TMEiV..
t5_heyting2
25.00
TMYjm..
t75_tsep_1
25.00
TMFSv..
t9_trees_a
25.00
TMFf9..
t90_tsep_1
25.00
TMZSt..
t72_group_11
25.00
TMaSz..
t8_compts_1
25.00
More recent placed
Recently collected bounties
0e563..
MetaCatSet_nno
250.00
b3083..
MetaCatSmallSet_pushout
250.00
d1a34..
MetaCat_struct_r_partialord_pullback_constr
250.00
e7f7d..
MetaCat_struct_r_equivreln_pullback_constr
250.00
c2d12..
MetaCat_struct_r_graph_pullback_constr
250.00
4d1df..
MetaCat_struct_r_equivreln_product_constr
100.00
4f9ac..
MetaCat_struct_p_product_constr
100.00
45658..
MetaCat_struct_p_nonempty_product_constr
100.00
ece68..
MetaCat_struct_r_product_constr
100.00
b370d..
MetaCat_struct_r_per_product_constr
100.00
42715..
MetaCat_struct_r_partialord_product_constr
100.00
709ef..
MetaCat_struct_r_graph_product_constr
100.00
592be..
MetaCat_struct_p_product_exponent
250.00
37ab0..
MetaCatSet_product_exponent_gen_setprod_setexp
250.00
29786..
MetaCatHFSet_product_exponent
250.00
e25fa..
MetaCat_struct_p_nonempty_product_exponent
250.00
32b3d..
MetaCatSet_product_exponent_gen
250.00
1810c..
MetaCatSet_product_exponent
250.00
97ee8..
MetaCat_struct_r_per_product_exponent
250.00
7f417..
MetaCat_struct_r_product_exponent
250.00
More recent collected