@4zzz/resolution-editor NPM | npm.io

1.0.0 • Published 3 years ago

Install

Weekly downloads

-

License

ISC

Repository

Last release

3 years ago

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.

@fmfi-uk-1-ain-412/js-fol-parser bootstrap prop-types react-redux redux redux-undo

@everything-registry/sub-chunk-18 @infinitebrahmanuniverse/nolb-_4

3 years ago