Registered user since Mon 13 Jun 2022
Name:Kazuhiko Sakaguchi
Country:France
Affiliation:CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668
GitHub: https://github.com/pi8027
Research interests:interactive theorem proving, formalization of mathematics, proof by reflection, parametricity
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile