Registered user since Mon 13 Jun 2022
Name:Kazuhiko Sakaguchi
Country:France
Affiliation:CNRS, ENS de Lyon, UCBL, LIP
GitHub: https://github.com/pi8027
Research interests:interactive theorem proving, formalization of mathematics, proof by reflection, parametricity
Contributions
Using general profile