Proof assistants for undergraduate mathematics education: elements of an a priori analysis

MLA

Bartzia, Evmorfia-Iro, et al. Proof Assistants for Undergraduate Mathematics Education: Elements of an a Priori Analysis. Apr. 2023. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.od.......165..d1bb08da162b46b2acbcb70bb1d17e05&authtype=sso&custid=ns315887.

APA

Bartzia, E.-I., Beffara, E., Meyer, A., & Narboux, J. (2023). Proof assistants for undergraduate mathematics education: elements of an a priori analysis.

Chicago

Bartzia, Evmorfia-Iro, Emmanuel Beffara, Antoine Meyer, and Julien Narboux. 2023. “Proof Assistants for Undergraduate Mathematics Education: Elements of an a Priori Analysis,” April. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.od.......165..d1bb08da162b46b2acbcb70bb1d17e05&authtype=sso&custid=ns315887.