Crossmark

Using the proof assistant Lean in undergraduate mathematics classrooms

Published Online: 2024-04-22

Published Print: 2024-12

Authors

Hanna, Gila

Larvor, Brendan

Yan, Xiaoheng Kitty
Funding

Funding for this research was provided by:

Social Sciences and Humanities Research Council (435210020)
License Information

Text and Data Mining valid from 2024-04-22

Version of Record valid from 2024-04-22
More Information

Article History

Accepted: 13 April 2024

First Online: 22 April 2024

Document is current