The lean mathematical library. CPP 2020: 367-381