4zzz
A JavaScript parser for first-order logic languages
published version 0.7.1, a month agoAn embeddable version of a first-order tableau editor
published version 0.1.1, 5 years agoAn 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/.
published version 1.0.0, 3 years agoCLI utility that isolates styles in css files. That means it modifies css rules so they are applied only inside element with specified class. This is achieved by using nesting functionality of less compiler.
published version 0.1.1, 2 years agoAn 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/.
published version 1.1.2, a year agoTento repozitár obsahuje zdrojové súbory aplikácie Prieskumník štruktúr, ktorá umožňuje vytvárať a upravovať štruktúry pre jazyky logiky prvého rádu a skúmať pravdivosť formúl a hodnoty termov v nich.
published version 5.7.1, a year agoIn this repository is maintained the code to my bachelor thesis. A live version is available at https://fmfi-uk-1-ain-412.github.io/tableauEditor/ .
published version 1.1.0, a year agoThis project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).
published version 0.1.2, 2 years ago
