@misc{indiciae2d2f800e89de,
  title = {LogicProof: An Interactive Web-Based Educational Theorem Prover for Natural Deduction and Sequent Calculus across Classical and Constructive Logics},
  author = {Ján Perháč and Vasyl Khashcha and Samuel Novotný},
  year = {2026},
  url = {https://arxiv.org/abs/2607.04321},
  note = {Source identifier: 2607.04321}
}