Kristensen, J.; Perháč, J.; Thomsen, M. K.; Tveito, L.; Shturmov , O.; Novotný, S.; Chodarev, S. OnlineProver: First Experience With Teaching Formal Proofs. NIKT 2024.