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

babel's modular runtime helpers

Babel command line.

Babel compiler core.

A Babel preset for each environment.

Babel preset for TypeScript.

Cross platform child_process#spawn and child_process#spawnSync

TypeScript is a language for application scale JavaScript development

Random seed generator for chancejs with jest

CLI for common scripts for my projects

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.

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

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