Séminaire Cambium, Inria Paris
                                 Amphi Lions
                           Vendredi 24 avril, 10h30

                              Sebastian Ullrich

                 A deep dive into Lean's processing pipeline

This talk will be a technical exploration of how Lean orchestrates and optimizes
processing outside of execution of actual individual tactics. Starting from the
top, we will look at how the new module system affects the (re)building of whole
Lean libraries, then go down to the module, declaration, and tactic step level,
noting incrementality & parallelism optimizations implemented, forthcoming, and
conceivable on the way.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.