Skip to content
@FMFI-UK-1-AIN-412

Logika pre informatikov

Pinned Loading

  1. lpi lpi Public

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

    Python 4

  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

Repositories

Showing 10 of 16 repositories
  • propositional-explorer Public
    FMFI-UK-1-AIN-412/propositional-explorer’s past year of commit activity
    0 GPL-3.0 1 0 0 Updated Oct 10, 2024
  • lpi Public

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

    FMFI-UK-1-AIN-412/lpi’s past year of commit activity
    Python 0 4 0 0 Updated May 20, 2024
  • workbook Public

    First-order logic workbook

    FMFI-UK-1-AIN-412/workbook’s past year of commit activity
    TypeScript 0 4 21 1 Updated May 7, 2024
  • resolution-editor Public

    An editor of first-order resolution proofs (refutations)

    FMFI-UK-1-AIN-412/resolution-editor’s past year of commit activity
    JavaScript 0 GPL-3.0 1 1 0 Updated May 7, 2024
  • structure-explorer Public

    Structure explorer for first order logic

    FMFI-UK-1-AIN-412/structure-explorer’s past year of commit activity
    JavaScript 0 GPL-3.0 5 13 13 Updated May 6, 2024
  • tableauEditor Public

    First-order tableau editor

    FMFI-UK-1-AIN-412/tableauEditor’s past year of commit activity
    Elm 3 MIT 3 6 5 Updated Apr 23, 2024
  • formalization-checker-backend Public

    The back end of a tool for checking formalization exercises.

    FMFI-UK-1-AIN-412/formalization-checker-backend’s past year of commit activity
    JavaScript 0 GPL-3.0 5 29 (1 issue needs help) 0 Updated Feb 22, 2024
  • formalization-checker Public

    The front end of a tool for checking formalization exercises.

    FMFI-UK-1-AIN-412/formalization-checker’s past year of commit activity
    JavaScript 0 GPL-3.0 5 8 0 Updated Jun 1, 2023
  • js-fol-parser Public

    A suite of JavaScript parsers for first-order logic languages.

    FMFI-UK-1-AIN-412/js-fol-parser’s past year of commit activity
    JavaScript 0 MIT 2 5 12 Updated Feb 27, 2023
  • glm-web Public

    Git(Hub) learning/course management system

    FMFI-UK-1-AIN-412/glm-web’s past year of commit activity
    JavaScript 0 0 0 7 Updated Jan 23, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…