Past Member
Catherine Lelay
Funding provided by the National Science Foundation
Affiliation
Mathematics
Field of study
Univalent Foundations
From
–
Catherine Lelay is working on the formalization of univalent foundations of mathematics in Coq proof assistant.
Visits
Member
School of Mathematics
–
Degrees
University Paris Diderot
Ph.D.
2014