conf.researchr.org / The mathlib Community
Registered user since Mon 16 Dec 2019
Name:The mathlib Community
Contributions
| CPP 2020 | Author of The Lean mathematical library within the CPP 2020-track |
Registered user since Mon 16 Dec 2019
Contributions
| CPP 2020 | Author of The Lean mathematical library within the CPP 2020-track |