research
∙
02/22/2022
Conceptual Mathematics via Literate Programming
Recent developments in computer programming and in mathematics suggest t...
research
∙
05/05/2021