@fmfi-uk-1-ain-412/resolution-editor v1.1.2

Resolution Editor

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.