Logika pre informatikov's repositories
lpi
Logika pre informatikov a Úvod do matematickej logiky 2023/24
Language:Python000
workbook
First-order logic workbook
Language:TypeScript000
resolution-editor
An editor of first-order resolution proofs (refutations)
Language:JavaScriptGPL-3.0000
structure-explorer
Structure explorer for first order logic
Language:JavaScriptGPL-3.0000
tableauEditor
First-order tableau editor
formalization-checker-backend
The back end of a tool for checking formalization exercises.
Language:JavaScriptGPL-3.0000
formalization-checker
The front end of a tool for checking formalization exercises.
Language:JavaScriptGPL-3.0000
js-fol-parser
A suite of JavaScript parsers for first-order logic languages.
Language:JavaScriptMIT000
glm-web
Git(Hub) learning/course management system
Language:JavaScript000
workbook-example
An example workbook you can clone and play with using https://FMFI-UK-1-AIN-412.github.io/workbook/
CC-BY-4.0000
worksheet
An interactive worksheet integrating our tools for editing and checking exercise solutions
Language:JavaScriptGPL-3.0000
glm
Git(Hub) learning/course management system
Language:Python000
proof-assistant
Proof assistant
Language:ElmMIT000