1.0.0 • Published 2 years ago
@4zzz/resolution-editor v1.0.0
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.
1.0.0
2 years ago