TY  - RPRT
TI  - Use and abuse of instance parameters in the Lean mathematical library
AU  - Anne Baanen
PY  - 2022
UR  - https://arxiv.org/abs/2202.01629
ID  - 2202.01629
ER  -