2 papers
cs.LO2025
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…
cs.SE2024
Local Software Buildability across Java Versions (Registered Report)
Matúš SulÃr, Jaroslav Porubän, Sergej Chodarev
Context: Downloading the source code of open-source Java projects and building them on a local computer using Maven, Gradle, or Ant is a common activity performed by researchers an…