jan.kluka

@fmfi-uk-1-ain-412/js-fol-parser

A JavaScript parser for first-order logic languages

@fmfi-uk-1-ain-412/tableau-editor-embeddable

An embeddable version of a first-order tableau editor

@fmfi-uk-1-ain-412/isolate-css

CLI 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.

@fmfi-uk-1-ain-412/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/.

@fmfi-uk-1-ain-412/fol-graphexplorer

Tento 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.

@fmfi-uk-1-ain-412/tableaueditor

In 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/ .

@fmfi-uk-1-ain-412/formalization-checker

This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).