profile sorted

set_theory/ordinal.lean                           208   --> 37.2 (Kenny)
data/finset.lean                                  173   --> 10.1 (Kenny)
data/list/basic.lean                              126   --> 12.5 (Kenny)
data/polynomial.lean                              115   --> 52.7 (Kenny)
data/multiset.lean                                99.3  --> 42.9 (Kenny)
order/filter.lean                                 94.3  --> 20   (Johan)
analysis/topology/topological_space.lean          86.2  --> 6.15 (Kenny)
analysis/topology/uniform_space.lean              81    --> 10.2 (Kenny)
order/conditionally_complete_lattice.lean         80.4  --> 50.5 (Simon)
computability/turing_machine.lean                 73.9  --> 33.3 (Kenny)
data/finsupp.lean                                 68.2  --> 7.22 (Kenny)
linear_algebra/basic.lean                         67.3
data/complex/basic.lean                           56.2
group_theory/perm.lean                            55.7
data/rat.lean                                     55.4
set_theory/ordinal_notation.lean                  49.4
data/set/basic.lean                               47.5
data/real/ennreal.lean                            44.4
data/seq/wseq.lean                                44.1
analysis/normed_space.lean                        43.7
analysis/topology/infinite_sum.lean               43.6
number_theory/pell.lean                           39.1
data/padics/padic_rationals.lean                  38.1
computability/partrec_code.lean                   37.4
data/real/basic.lean                              36.6
analysis/measure_theory/outer_measure.lean        34.6
data/num/lemmas.lean                              34.3
data/padics/padic_norm.lean                       33.2
analysis/topology/topological_structures.lean     32.9
linear_algebra/multivariate_polynomial.lean       32.5
data/fintype.lean                                 31.8
analysis/topology/continuity.lean                 31.3
set_theory/cardinal.lean                          30.9
set_theory/cofinality.lean                        30.4
data/int/basic.lean                               28.4
analysis/metric_space.lean                        27.1
group_theory/free_group.lean                      26.5
data/real/nnreal.lean                             26.4
analysis/measure_theory/lebesgue_measure.lean     26.4
number_theory/dioph.lean                          25.2
ring_theory/associated.lean                       21.6
linear_algebra/tensor_product.lean                21.6
analysis/measure_theory/measure_space.lean        21.4
algebra/module.lean                               21.4
computability/partrec.lean                        20.2
computability/primrec.lean                        19.7
data/real/cau_seq.lean                            19
data/set/lattice.lean                             18.4
analysis/real.lean                                17.5
analysis/ennreal.lean                             17.5
analysis/probability_mass_function.lean           17
ring_theory/localization.lean                     16.4
ring_theory/matrix.lean                           15.3
data/set/finite.lean                              15.3
order/complete_lattice.lean                       14.8
data/list/perm.lean                               14.8
order/lattice.lean                                14.6
analysis/measure_theory/measurable_space.lean     14.3
data/hash_map.lean                                14
tactic/ring2.lean                                 13.5
linear_algebra/submodule.lean                     13.4
category_theory/yoneda.lean                       13.4
data/seq/seq.lean                                 12.8
ring_theory/unique_factorization_domain.lean      11.9
computability/halting.lean                        11.2
analysis/limits.lean                              10.8
data/int/gcd.lean                                 10.7
data/analysis/topology.lean                       10.7
order/liminf_limsup.lean                          10.3
tactic/linarith.lean                              10.2
tactic/norm_num.lean                              9.96
data/zmod.lean                                    9.12
data/equiv/list.lean                              9.07
data/analysis/filter.lean                         8.93
linear_algebra/linear_map_module.lean             8.87
data/seq/computation.lean                         8.1
data/real/cau_seq_completion.lean                 8
tactic/ring.lean                                  7.8
set_theory/zfc.lean                               7.72
category_theory/natural_isomorphism.lean          7.51
algebra/ordered_group.lean                        7.07
analysis/bounded_linear_maps.lean                 6.96
category/traversable/instances.lean               6.87
group_theory/order_of_element.lean                6.43
data/vector2.lean                                 6.42
data/nat/basic.lean                               6.3
algebra/ordered_ring.lean                         6.03
analysis/topology/compact_open.lean               5.99
tactic/abel.lean                                  5.9
data/seq/parallel.lean                            5.76
group_theory/subgroup.lean                        5.73
data/set/countable.lean                           5.59
data/equiv/basic.lean                             5.49
data/set/enumerate.lean                           5.46
set_theory/lists.lean                             5.44
algebra/ring.lean                                 5.4
ring_theory/ideals.lean                           5.35
data/array/lemmas.lean                            5.21
category_theory/products.lean                     5.08
data/set/intervals.lean                           4.94
data/nat/prime.lean                               4.92
algebra/big_operators.lean                        4.83
group_theory/coset.lean                           4.79
data/pfun.lean                                    4.73
data/list/sort.lean                               4.72
order/bounded_lattice.lean                        4.65
category_theory/isomorphism.lean                  4.6
linear_algebra/subtype_module.lean                4.35
algebra/pi_instances.lean                         4.17
data/nat/pairing.lean                             4.13
linear_algebra/quotient_module.lean               3.89
order/order_iso.lean                              3.75
data/nat/sqrt.lean                                3.48
data/nat/modeq.lean                               3.29
data/equiv/encodable.lean                         3.28
order/zorn.lean                                   3.19
data/set/disjointed.lean                          3.13
algebra/order_functions.lean                      2.87
order/boolean_algebra.lean                        2.78
linear_algebra/prod_module.lean                   2.75
analysis/measure_theory/borel_space.lean          2.72
data/semiquot.lean                                2.68
analysis/nnreal.lean                              2.68
data/equiv/denumerable.lean                       2.67
data/int/modeq.lean                               2.63
algebra/group_power.lean                          2.59
algebra/ordered_field.lean                        2.31
algebra/archimedean.lean                          2.23
ring_theory/principal_ideal_domain.lean           2.22
data/option.lean                                  2.22
category/traversable/equiv.lean                   2.22
algebra/gcd_domain.lean                           2.2
analysis/complex.lean                             2.19
data/buffer/basic.lean                            2.16
group_theory/group_action.lean                    1.95
ring_theory/noetherian.lean                       1.91
category_theory/natural_transformation.lean       1.87
order/basic.lean                                  1.86
data/nat/cast.lean                                1.85
logic/basic.lean                                  1.78
logic/schroeder_bernstein.lean                    1.76
group_theory/free_abelian_group.lean              1.74
group_theory/submonoid.lean                       1.68
algebra/group.lean                                1.68
order/galois_connection.lean                      1.67
data/bool.lean                                    1.6
tests/examples.lean                               1.55
category_theory/types.lean                        1.53
data/fp/basic.lean                                1.5
category/applicative.lean                         1.5
data/lazy_list2.lean                              1.48
group_theory/abelianization.lean                  1.45
category_theory/examples/topological_spaces.lean  1.42
category_theory/category.lean                     1.33
data/nat/choose.lean                              1.31
data/nat/binomial.lean                            1.31
category_theory/embedding.lean                    1.3
data/padics/padic_integers.lean                   1.27
ring_theory/subring.lean                          1.26
order/bounds.lean                                 1.21
logic/relation.lean                               1.21
algebra/field_power.lean                          1.21
category/traversable/lemmas.lean                  1.18
data/string.lean                                  1.13
group_theory/quotient_group.lean                  1.11
algebra/euclidean_domain.lean                     1.05
data/real/irrational.lean                         1.04
tactic/tauto.lean                                 1.02
logic/embedding.lean                              1.02
category_theory/opposites.lean                    1
field_theory/subfield.lean                        0.988
order/complete_boolean_algebra.lean               0.954
data/nat/dist.lean                                0.911
category_theory/full_subcategory.lean             0.863
category/basic.lean                               0.853
data/num/basic.lean                               0.808
data/nat/gcd.lean                                 0.778
algebra/field.lean                                0.772
category/traversable/derive.lean                  0.761
tactic/interactive.lean                           0.755
category_theory/examples/rings.lean               0.745
tactic/converter/binders.lean                     0.711
tactic/basic.lean                                 0.696
category_theory/functor_category.lean             0.69
order/fixed_points.lean                           0.59
category_theory/functor.lean                      0.58
tests/finish3.lean                                0.568
linear_algebra/dimension.lean                     0.549
tests/tactics.lean                                0.522
tests/tidy.lean                                   0.519
data/prod.lean                                    0.485
data/erased.lean                                  0.472
tactic/wlog.lean                                  0.456
tactic/finish.lean                                0.451
category/functor.lean                             0.45
tactic/ext.lean                                   0.39
data/fin.lean                                     0.382
data/set/function.lean                            0.365
category_theory/examples/monoids.lean             0.362
tactic/rewrite.lean                               0.347
algebra/char_zero.lean                            0.316
data/equiv/nat.lean                               0.311
tests/finish2.lean                                0.305
data/dlist/instances.lean                         0.302
tactic/converter/old_conv.lean                    0.296
tactic/rcases.lean                                0.255
tactic/replacer.lean                              0.246
logic/function.lean                               0.235
tactic/alias.lean                                 0.212
data/quot.lean                                    0.203
tactic/mk_iff_of_inductive_prop.lean              0.185
data/sum.lean                                     0.148
tactic/find.lean                                  0.146
tactic/split_ifs.lean                             0.143
tactic/chain.lean                                 0.137
tactic/tidy.lean                                  0.133
data/num/bitwise.lean                             0.122
algebra/order.lean                                0.121
data/sigma/basic.lean                             0.118
category/traversable/basic.lean                   0.118
category_theory/examples/measurable_space.lean    0.09809999999999999
tactic/subtype_instance.lean                      0.08979999999999999
tactic/generalize_proofs.lean                     0.0883
tactic/explode.lean                               0.0823
tactic/pi_instances.lean                          0.0783
data/subtype.lean                                 0.0727
tactic/auto_cases.lean                            0.0719
tactic/converter/interactive.lean                 0.062299999999999994
tactic/restate_axiom.lean                         0.045899999999999996
meta/rb_map.lean                                  0.04
data/pnat.lean                                    0.0384
tactic/cache.lean                                 0.0363
tactic/algebra.lean                               0.0359
logic/relator.lean                                0.0264
tests/replacer.lean                               0.0167
core/data/list.lean                               0.014199999999999999
data/char.lean                                    0.00866
data/dlist/basic.lean                             0.00785