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