Kristensen J, Perháč J, Thomsen MK, Tveito L, Shturmov O, Novotný S, Chodarev S. OnlineProver: First Experience with Teaching Formal Proofs. NIKT [Internet]. 2024Nov.24 [cited 2024Dec.22];(4). Available from: https://www.ntnu.no/ojs/index.php/nikt/article/view/6205