Your new post is loading...
Un livre sur la théorie des types homotopique vient d’être publié par des mathématiciens. A priori ça ne concerne que les spécialistes du sujet…
Et pourtant ça concerne tout le monde, tant sa conception originale et les leçons qui en sont tirées ci-dessous ont valeur d’exemplarité.
Du Libre à tous les étages (LaTeX, GitHub, Creative Commons By-Sa…) mais surtout dans son état d’esprit de partage et de collaboration. Un projet et un article passionnants, à faire lire dans la sphère académique et bien au delà.
Via Aurélien BADET
