OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs

Ján Perháč, Samuel Novotný, Sergej Chodarev +4

OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user i…