A research engineer in the Gallinette team at Inria, interested in interactive theorem proving, formalization of mathematics, and proof by reflection.
- Nantes, France
-
06:19
(UTC +02:00) - https://orcid.org/0000-0003-1855-5189
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.