Logic for Computer Scientists
(summer semester 2018-2019)
(summer semester 2018-2019)
Lab1 - SAT (1)
virtualenv-2 .venvsource .venv/bin/activatepip install z3-solver jupyter numpy matplotlibjupyter notebookLab2 - SAT (2)
Lab3 - SMT
Lab4 - AGDA (1)
git clone https://github.com/lclem/agda-kernelcd agda-kernelmake kernel-installmake codemirror-installjupyter notebook example/lab01.ipynbstudents:git clone https://github.com/lclem/agda-kernelcd agda-kerneljupyter notebook example/lab01.ipynbLab5 - AGDA (2)
Instructions to install Agda's standard library. Make sure that hello-world.agda compiles (with agda hello-world.agda):
module hello-world whereopen import IOmain = run (putStrLn "Hello, World!")To upgrade the jupyter Agda kernel to the latest version v0.4:
pip install --upgrade agda_kernelLab6 - AGDA (3)
To run the notebook it is necessary to upgrade the jupyter Agda kernel to the latest version v0.5, and install the jupyter plugins literate-markdown and agda-extension:
pip install --upgrade agda_kernelpip install git+https://github.com/lclem/jupyter_contrib_nbextensionsjupyter contrib nbextension install --userjupyter nbextension enable agda-extension/mainjupyter nbextension enable literate-markdown/mainjupyter nbextension enable toc2/mainLab7 - AGDA (4)
To run the notebook it is necessary to upgrade the jupyter Agda kernel to the latest version v0.62, and install the jupyter plugins literate-markdown and agda-extension:
pip install --upgrade agda_kernelpip install --upgrade git+https://github.com/lclem/jupyter_contrib_nbextensionspip install jupyterthemesjupyter contrib nbextension install --userjupyter nbextension enable agda-extension/mainjupyter nbextension enable literate-markdown/mainjupyter nbextension enable toc2/mainjt -t grade3 -f roboto -fs 10 -cellw 800 -altp -TAs usual, you can also use binder.