TY  - RPRT
TI  - Conceptual Mathematics via Literate Programming
AU  - Ian Benson
AU  - Jim Darby
AU  - Neil MacDonald
AU  - Jesse Sigal
PY  - 2022
UR  - https://arxiv.org/abs/2202.13771
ID  - 2202.13771
ER  -