Registered user since Wed 27 Nov 2019
Name: Johan Commelin
Affiliation: Universität Freiburg
Contributions
| CPP 2021 | Formalizing the Ring of Witt Vectors | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
Registered user since Wed 27 Nov 2019
Name: Johan Commelin
Affiliation: Universität Freiburg
Contributions
| CPP 2021 | Formalizing the Ring of Witt Vectors | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||