scratch
§
Fungrim
created 2022-05-30
https://fredrikj.net/math/fungrim2022.pdf
They want to integrate with mathlib to have formal definitions.
❦