Pinned Repositories
ais-infolisty
Transformuje XML dokumenty infolistov predmetov generovanych z AIS-u do HTML dokumentov.
Backuping
BC-2012
Moja bakalárka
beamer
A LaTeX class for producing presentations and slides
coloremoji.sty
Style package for directly including color emojis in latex documents
gohugo-theme-baks
Ananke: A theme for Hugo Sites
lpi-testovanie
Logika pre informatikov
PritomnostNaPracovisku
proof-assistant
Proof assistant
sk-cn-2015
crnkjck's Repositories
crnkjck/PritomnostNaPracovisku
crnkjck/ais-infolisty
Transformuje XML dokumenty infolistov predmetov generovanych z AIS-u do HTML dokumentov.
crnkjck/Backuping
crnkjck/BC-2012
Moja bakalárka
crnkjck/beamer
A LaTeX class for producing presentations and slides
crnkjck/coloremoji.sty
Style package for directly including color emojis in latex documents
crnkjck/gohugo-theme-baks
Ananke: A theme for Hugo Sites
crnkjck/lpi-testovanie
Logika pre informatikov
crnkjck/proof-assistant
Proof assistant
crnkjck/sk-cn-2015
crnkjck/splncs04nat
natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.
crnkjck/structure-explorer
Structure explorer for first order logic
crnkjck/tableauEditor
Propositional tableau editor
crnkjck/votr
Next generation AIS frontend
crnkjck/workbook
First-order logic workbook, development version
crnkjck/workbook-example
An example workbook you can clone and play with using https://FMFI-UK-1-AIN-412.github.io/workbook/
crnkjck/worksheet
An interactive worksheet integrating our tools for editing and checking exercise solutions