Personal projects

Here are my projects and activities outside of research.

My side projects

• I play music (violin, organ) — YouTube channel
• I work on genealogy
• I hike and run
• My French translation of Goodman's "The Calculus of Individuals and Its Uses"
• My formalization of Spinoza's Ethics in Coq
• I am a member of ReFL