Pinned

1. lpi lpi Public

   Logika pre informatikov a Úvod do matematickej logiky 2023/24

   Java 3

2. workbook workbook Public

   First-order logic workbook

   TypeScript 4

3. structure-explorer structure-explorer Public

   Structure explorer for first order logic

   JavaScript 5

4. tableauEditor tableauEditor Public

   First-order tableau editor

   Elm 3 3

5. resolution-editor resolution-editor Public

   An editor of first-order resolution proofs (refutations)

   JavaScript 1

6. formalization-checker formalization-checker Public

   The front end of a tool for checking formalization exercises.

   JavaScript 5