Cite
Interactively explorable formal proofs for textbooks of mathematics
MLA
Janhunen, Tomi, et al. Interactively Explorable Formal Proofs for Textbooks of Mathematics. 2015. 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=edsoai&AN=edsoai.on1273836642&authtype=sso&custid=ns315887.
APA
Janhunen, T., Perustieteiden korkeakoulu, Hollanti, C., & Peltola, V. (2015). Interactively explorable formal proofs for textbooks of mathematics.
Chicago
Janhunen, Tomi, Perustieteiden korkeakoulu, Camilla Hollanti, and Veli Peltola. 2015. “Interactively Explorable Formal Proofs for Textbooks of Mathematics.” 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=edsoai&AN=edsoai.on1273836642&authtype=sso&custid=ns315887.