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). doi: 10.5324/nikt.6205.