mathlib
0d172bac - feat(README.md): add Riccardo Brasca as new maintainer (#11647)

Commit

3 years ago

feat(README.md): add Riccardo Brasca as new maintainer (#11647) Add myself as new maintainer and test my superpowers :)

Author

riccardobrasca

Parents