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