Repositories list

• lpi

  Public
  Logika pre informatikov a Úvod do matematickej logiky 2025/26

  Java

  •3•1•0•0•Updated Apr 1, 2026Apr 1, 2026

• workbook

  Public
  First-order logic workbook

  logic

  logic

  TypeScript

  •7•0•20•2•Updated Mar 26, 2026Mar 26, 2026

• js-fol-parser

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

  parserlogicfirst-order-logic

  parserlogicfirst-order-logic

  JavaScript

  •

  MIT License

  •4•0•5•11•Updated Mar 12, 2026Mar 12, 2026

• structure-explorer

  Public
  Structure explorer for first order logic

  TypeScript

  •7•0•11•13•Updated Mar 11, 2026Mar 11, 2026

• formalization-checker-backend

  Public
  The back end of a tool for checking formalization exercises.

  first-order-logicformalization

  first-order-logicformalization

  JavaScript

  •

  GNU General Public License v3.0

  •5•0•30•0•Updated Feb 25, 2026Feb 25, 2026

• formalization-checker

  Public
  The front end of a tool for checking formalization exercises.

  first-order-logicformalization

  first-order-logicformalization

  JavaScript

  •

  GNU General Public License v3.0

  •5•0•7•0•Updated Feb 4, 2026Feb 4, 2026

• propositional-explorer

  Public
  GNU General Public License v3.0

  •1•0•0•1•Updated Oct 10, 2024Oct 10, 2024

• resolution-editor

  Public
  An editor of first-order resolution proofs (refutations)

  proof-assistant

  proof-assistant

  JavaScript

  •

  GNU General Public License v3.0

  •1•0•1•0•Updated May 7, 2024May 7, 2024

• tableauEditor

  Public
  First-order tableau editor

  Elm

  •

  MIT License

  •3•3•6•5•Updated Apr 23, 2024Apr 23, 2024

• glm-web

  Public
  Git(Hub) learning/course management system

  JavaScript

  •0•0•0•7•Updated Jan 23, 2023Jan 23, 2023

• 2022-lpi

  Public
  Logika pre informatikov

  logic

  logic

  Python

  •18•1•0•0•Updated Jun 7, 2022Jun 7, 2022

• workbook-example

  Public
  An example workbook you can clone and play with using https://FMFI-UK-1-AIN-412.github.io/workbook/

  Creative Commons Attribution 4.0 International

  •3•0•0•0•Updated May 15, 2022May 15, 2022

• workbook-auth-backend

  Public
  JavaScript

  •1•0•0•1•Updated Apr 20, 2022Apr 20, 2022

• elm-formula

  Public
  Elm

  •

  MIT License

  •1•1•0•0•Updated Apr 28, 2021Apr 28, 2021

• worksheet

  Public archive
  An interactive worksheet integrating our tools for editing and checking exercise solutions

  JavaScript

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Nov 10, 2020Nov 10, 2020

• glm

  Public
  Git(Hub) learning/course management system

  Python

  •1•0•0•0•Updated Jun 23, 2020Jun 23, 2020

• proof-assistant

  Public
  Proof assistant

  Elm

  •

  MIT License

  •1•0•3•0•Updated Jun 28, 2018Jun 28, 2018