Kristensen, Joachim, Ján Perháč, Michael Kirkedal Thomsen, Lars Tveito, Oleks Shturmov, Samuel Novotný, and Sergej Chodarev. “OnlineProver: First Experience With Teaching Formal Proofs”. Norsk IKT-konferanse for forskning og utdanning, no. 4 (November 24, 2024). Accessed December 22, 2024. https://www.ntnu.no/ojs/index.php/nikt/article/view/6205.