pi8027 - Overview
Postdoc in the Plume team | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity
-
CNRS, ENS de Lyon, UCBL, LIP
- Lyon, France
- 02:13 (UTC +02:00)
- https://orcid.org/0000-0003-1855-5189



