Write a Blog >>

Registered user since Mon 16 Dec 2019

Name:The mathlib Community

Contributions

CPP 2020 The Lean mathematical library
Show activities from other conferences

POPL 2020-profile
View general profile