TeX - LaTeX Stack Exchange
TeX - LaTeX Stack Exchange

Meven Lennon-Bertrand
253
reputation
  • Member since April 19 2021
  • 33 profile views
  • Last seen Mar 29 '24 at 12:01

Post-doc in computer science, in the great world of proof assistants.