About Théo Winterhalter

Researcher at Inria Saclay in Deducteam. Type theorist. I want to make proof assistants a better place.

Lists

Timeline

{username} has no activity yet