An interactive editor of first-order resolution proofs, intended to be used as a teaching tool. Web-based, client-only, available for use at https://fmfi-uk-1-ain-412.github.io/resolution-editor/.
Developed by Norbert Jurík as his bachelor thesis, supervised by Ján Kľuka.