Capitole du Libre 2025

Patrick Massot

Je suis mathématicien et enthousiaste des logiciels libres. J’utilise Linux depuis 1999. Mes logiciels libres préférés sont l’éditeur neovim et l’assistant de preuves Lean. Je suis mainteneur en particulier de plasTeX, un compilateur LaTeX écrit en python, et de la bibliothèque Mathlib pour Lean.


Interventions

15/11
16:30
55minutes
Typst, une alternative à LaTeX
Patrick Massot
A302
16/11
14:00
115minutes
Essayer Typst, une alternative à LaTeX
Patrick Massot
B308