Registered user since Thu 1 Dec 2022

Name:Thomas Lamiaux
Affiliation:University of Paris-Saclay, Ens Paris-Saclay

Contributions

CPP 2023 Computing Cohomology Rings in Cubical Agda
Show activities from other conferences

POPL 2023-profile
View general profile