mastodon — kat — 8 Oct 2026
Do undergraduates study lean on a #math degree these days. I would like to see an text at that level
#proof-assistants #mathematics-education
Do undergraduates study lean on a #math degree these days. I would like to see an text at that level