Talks

Here are the slides of my most recent talks:

• Sulfur: substitution generation in Rocq using a logical framework, July 8th 2025, at an ICSPA meeting in Paris. This is work done during an internship with Théo Winterhalter.
• Code generation via meta-programming in dependently typed proof assistants, June 12th 2025, at TYPES 2025. This is work done during an internship with Yannick Forster.