Kristensen, J., Perháč, J., Thomsen, M.K., Tveito, L., Shturmov , O., Novotný, S. and Chodarev, S. 2024. OnlineProver: First Experience with Teaching Formal Proofs. Norsk IKT-konferanse for forskning og utdanning. 4 (Nov. 2024). DOI:https://doi.org/10.5324/nikt.6205.