J. Kristensen, “OnlineProver: First Experience with Teaching Formal Proofs”, NIKT, no. 4, Nov. 2024.