Kristensen, J., Perháč, J., Thomsen, M. K., Tveito, L., Shturmov , O., Novotný, S., & Chodarev, S. (2024). OnlineProver: First Experience with Teaching Formal Proofs. Norsk IKT-Konferanse for Forskning Og Utdanning, (4). https://doi.org/10.5324/nikt.6205