5 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
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…