KRISTENSEN, J.; PERHÁČ, J.; THOMSEN, M. K.; TVEITO, L.; SHTURMOV , O.; NOVOTNÝ, S.; CHODAREV, S. OnlineProver: First Experience with Teaching Formal Proofs. Norsk IKT-konferanse for forskning og utdanning, [S. l.], n. 4, 2024. DOI: 10.5324/nikt.6205. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/6205. Acesso em: 22 dec. 2024.