About Théo Winterhalter

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

Lists

Timeline

theowinterhalter has no activity yet