Kristensen, J., J. Perháč, M. K. Thomsen, L. Tveito, O. Shturmov, S. Novotný, and S. Chodarev. “OnlineProver: First Experience With Teaching Formal Proofs”. Norsk IKT-Konferanse for Forskning Og Utdanning, no. 4, Nov. 2024, doi:10.5324/nikt.6205.