helm/papers/use_case/stats/CANDIDATI

   1 #
   2 # CANDIDATI
   3 # =========
   4 #
   5 # 500
   6 #
   7 cic:/Coq/Reals/Rgeom/isometric_rotation.con.body
   8 cic:/CoRN/reals/IVT/b_mon'.con.body
   9 cic:/CoRN/reals/NRootIR/AbsIR_bnd_AbsIR.con.body
  10 #
  11 # 1000
  12 #
  13 cic:/Rocq/TreeAutomata/lattice_fixpoint/map_maxi_maxi.con.body
  14 cic:/Sophia-Antipolis/Float/FroundPlus/radixRangeBoundExp_subproof5.con.body
  15 cic:/Sophia-Antipolis/Float/FroundPlus/radixRangeBoundExp_subproof0.con.body
  16 #
  17 # 1500
  18 #
  19 cic:/Sophia-Antipolis/MATHS/GROUPS/g2/T4R1.con.body
  20 cic:/Coq/Reals/RList/RList_P15.con.body
  21 cic:/Rocq/THREE_GAP/Nat_compl/ge_trans.con.body
  22 #
  23 # 2000
  24 #
  25 cic:/Sophia-Antipolis/Algebra/Parts2/compl_comp_rev.con.body
  26 cic:/Cachan/SMC/make/BDDmake_node_height_le.con.body
  27 cic:/Orsay/ExactRealArithmetic/Zsqrt_complements/Zsqrt_sqrt_bis.con.body
  28 #
  29 # 2500
  30 #
  31 cic:/Eindhoven/POCKLINGTON/modprime/techlemma3.con.body
  32 cic:/Sophia-Antipolis/Cours-de-Coq/Fil/Pairs_are_enough_finite_case.con.body
  33 cic:/Nijmegen/QArith/Qquadratic_sign/Qquadratic_sign_One_y.con.body
  34 #
  35 # 3000
  36 #
  37 cic:/CoRN/ftc/Integral/partition_join_aux'.con.body
  38 cic:/Sophia-Antipolis/geometry/reflexion_plane/reflexion_projete_orthogonal_milieu.con.body
  39 cic:/Sophia-Antipolis/geometry/trigo/trigo_Pythagore.con.body
  40 #
  41 # 3500
  42 #
  43 cic:/CoRN/algebra/CPolynomials/nexp_apply.con.body
  44 cic:/Sophia-Antipolis/Angles/point_cocyclicite/reciproque_cocyclique.con.body
  45 cic:/Coq/Reals/Rtrigo/sin_increasing_0.con.body
  46 #
  47 # 4000
  48 #
  49 cic:/CoRN/algebra/CAbGroups/nmult_plus'.con.body
  50 cic:/CoRN/fta/KeyLemma/lem_1a.con.body
  51 cic:/Coq/Reals/Exp_prop/exp_form.con.body
  52 #
  53 # 4500
  54 #
  55 cic:/Utrecht/ABP/abp_lem1/CommLs5.con.body
  56 cic:/CoRN/complex/NRootCC/nrCC4_a1.con.body
  57 cic:/Coq/Reals/Rpower/ln_continue.con.body
  58 #
  59 # 5000
  60 #
  61 cic:/Sophia-Antipolis/geometry/barycentre/unicite_coor_bar.con.body
  62 cic:/Dyade/Otway-Rees/inv1rel5/POinv1rel5.con.body
  63 cic:/CoRN/algebra/CRings/nring_different.con.body
  64 #
  65 # 5500
  66 #
  67 cic:/Sophia-Antipolis/geometry/milieu/milieu_distinct2.con.body
  68 cic:/Utrecht/ABP/abp_proc/LemLin3.con.body
  69 cic:/Utrecht/ABP/abp_proc/LemLin6.con.body
  70 #
  71 # 6000
  72 #
  73 cic:/Montevideo/FSSecModel/chownIsSecure/ChownPSP.con.body
  74 cic:/Sophia-Antipolis/Bertrand/Knuth_why/Prime_po_9_subproof46.con.body
  75 cic:/Montevideo/FSSecModel/chmodIsSecure/ChmodPSP.con.body
  76 #
  77 # 6500
  78 #
  79 cic:/CoRN/fta/CC_Props/seq_yields_zero.con.body
  80 cic:/Sophia-Antipolis/Bertrand/Knuth_why/Prime_po_9_subproof58.con.body
  81 cic:/Nijmegen/QArith/Qpositive_sub/le_minus_left_subproof.con.body
  82 #
  83 # 7000
  84 #
  85 cic:/Nijmegen/QArith/Qpositive_sub/Qpositive_sub_correct.con.body
  86 cic:/CoRN/algebra/Cauchy_COF/R_inv_ext.con.body
  87 cic:/Cachan/SMC/config/bs_node_height_right.con.body
  88 #
  89 # 7500
  90 #
  91 cic:/Sophia-Antipolis/Huffman/PBTree2BTree/to_btree_inb.con.body
  92 cic:/CoRN/reals/Series/ratio_test_div.con.body
  93 cic:/Sophia-Antipolis/Buchberger/Pminus/minusP_inv3b.con.body
  94 #
  95 # 8000
  96 #
  97 cic:/Rocq/COC/Termes/mem_sort_subst.con.body
  98 cic:/Sophia-Antipolis/geometry/orthocentre/deux_hauteurs_trois.con.body
  99 cic:/Rocq/GRAPHS/cgraph/ad_1_path_dist_big_enough_1.con.body
 100 #
 101 # 8500
 102 #
 103 cic:/CoRN/reals/Series/aew_series_conv.con.body
 104 cic:/Nijmegen/QArith/homographicAcc_Qhomographic_sign/Qhomographic_Qpositive_to_Q_homographicAcc_pos_1.con.body
 105 cic:/Sophia-Antipolis/Buchberger/Pspoly/fconfl_top.con.body
 106 #
 107 # 9000
 108 #
 109 cic:/Coq/Reals/Ranalysis2/maj_term3.con.body
 110 cic:/Sophia-Antipolis/geometry/representant_unitaire/unicite_representant_unitaire.con.body
 111 cic:/Sophia-Antipolis/MATHS/DOMAINS/triple/Triples_are_enough_finite_case.con.body
 112 #
 113 # 9500
 114 #
 115 cic:/CoRN/reals/CauchySeq/str_Archimedes.con.body
 116 cic:/Coq/romega/ReflOmegaCore/T_OMEGA13_stable.con.body
 117 cic:/Orsay/Maths/divide/divide_1.con.body
 118 #
 119 # 10000
 120 #
 121 cic:/Nijmegen/QArith/general_Q/Qpositive_c_equal_subproof1.con.body
 122 cic:/Rocq/TreeAutomata/inter_correct/preDTA_produit_l_ref_ok.con.body
 123 cic:/Rocq/AILS/ails/step2.con.body
 124 #
 125 # 20000
 126 #
 127 cic:/Sophia-Antipolis/geometry/mesure_algebrique/barycentre_mes_alg.con.body
 128 cic:/Coq/Reals/Ranalysis1/deriv_maximum.con.body
 129 cic:/CoRN/ftc/Integral/integral_empty.con.body
 130 #
 131 # 30000
 132 #
 133 cic:/CoRN/reals/iso_CReals/less_pres_Lim.con.body
 134 cic:/CoRN/ftc/FunctSeries/Fun_Series_Sum_plus.con.body
 135 cic:/CoRN/tactics/RingReflection/PM_plus_corr_R.con.body
 136 #
 137 # 40000
 138 #
 139 cic:/Nijmegen/QArith/Qquadratic_Qpositive_to_Q_properties/Qquadratic_Qpositive_to_Q_0_subproof.con.body
 140 cic:/Sophia-Antipolis/geometry/barycentre/unicite_coor_bar_aux.con.body
 141 cic:/CoRN/algebra/COrdCauchy/CS_seq_mult.con.body
 142 #
 143 # 50000
 144 #
 145 cic:/CoRN/transc/Pi/pi_seq_Cauchy.con.body
 146 cic:/Rocq/TreeAutomata/inter/predta_produit_5.con.body
 147 cic:/CoRN/ftc/MoreIntervals/compact_in_interval_y_lft.con.body
 148 #
 149 # 60000
 150 #
 151 cic:/CoRN/tactics/FieldReflection/FF_plus_corr_F.con.body
 152 cic:/Orsay/ExactRealArithmetic/Lemmes_generaux/Zsqr_cond.con.body
 153 cic:/Rocq/COMPILER/Mini_ML/ML_DS_determ.con.body
 154 #
 155 # 70000
 156 #
 157 cic:/CoRN/reals/IVT/intervals_small''.con.body
 158 cic:/Sophia-Antipolis/geometry/Plans_paralleles/para_plan_sym.con.body
 159 cic:/CoRN/ftc/MoreIntegrals/Integral_plus_Integral.con.body
 160 #
 161 # 80000
 162 #
 163 cic:/CoRN/ftc/WeakIVT/a_seq_b_seq_dist_n.con.body
 164 cic:/Nijmegen/QArith/Qquadratic_Qpositive_to_Qpositive/Qquadratic_Qpositive_to_Qpositive_equal.con.body
 165 cic:/Sophia-Antipolis/geometry/Droite_plan_espace/points_plan_espace.con.body
 166 #
 167 # 90000
 168 #
 169 cic:/Sophia-Antipolis/Bertrand/Knuth_why/Prime_po_9.con.body
 170 cic:/CoRN/transc/InvTrigonom/Tan_ilim.con.body
 171 cic:/Nijmegen/QArith/Qquadratic_Qpositive_to_Q_properties/Qquadratic_Qpositive_to_Q_4_subproof.con.body
 172 #
 173 # 100000
 174 #
 175 cic:/CoRN/tactics/GroupReflection/MM_plus_corr_G.con.body
 176 cic:/Nijmegen/QArith/Qquadratic_Qpositive_to_Q_properties/Qquadratic_Qpositive_to_Q_5_subproof.con.body
 177 cic:/Rocq/DEMOS/Demo_AutoRewrite/ResAck0.con.body
 178 #
 179 # 200000
 180 #
 181 cic:/CoRN/ftc/Composition/Derivative_I_comp.con.body
 182 cic:/CoRN/metrics/Equiv/inv_isopsmetry.con.body
 183 cic:/Cachan/SMC/mu/mu_eval_lemma2.con.body
 184 #
 185 # A NOI CARI
 186 # ==========
 187 #
 188 # 7211  cic:/Coq/Reals/Rlimit/limit_inv.con.body
 189 # 3054  cic:/Coq/Reals/Rlimit/limit_mul.con.body
 190 # 1172  cic:/Coq/Reals/Rlimit/limit_plus.con.body
 191 #