Logic for Computer Scientists

(summer semester 2018-2019)

Lab1 - SAT (1)

  • Instructions to install and run jupyter:
virtualenv-2 .venv
source .venv/bin/activate
pip install z3-solver jupyter numpy matplotlib
jupyter notebook

Lab2 - SAT (2)

Lab3 - SMT

Lab4 - AGDA (1)

  • If you have your own laptop:
git clone https://github.com/lclem/agda-kernel
cd agda-kernel
make kernel-install
make codemirror-install
jupyter notebook example/lab01.ipynb
  • On students:
git clone https://github.com/lclem/agda-kernel
cd agda-kernel
jupyter notebook example/lab01.ipynb

Lab5 - AGDA (2)

Instructions to install Agda's standard library. Make sure that hello-world.agda compiles (with agda hello-world.agda):

module hello-world where
open import IO
main = run (putStrLn "Hello, World!")

To upgrade the jupyter Agda kernel to the latest version v0.4:

pip install --upgrade agda_kernel

Lab6 - 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_kernel
pip install git+https://github.com/lclem/jupyter_contrib_nbextensions
jupyter contrib nbextension install --user
jupyter nbextension enable agda-extension/main
jupyter nbextension enable literate-markdown/main
jupyter nbextension enable toc2/main

Lab7 - 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_kernel
pip install --upgrade git+https://github.com/lclem/jupyter_contrib_nbextensions
pip install jupyterthemes
jupyter contrib nbextension install --user
jupyter nbextension enable agda-extension/main
jupyter nbextension enable literate-markdown/main
jupyter nbextension enable toc2/main
jt -t grade3 -f roboto -fs 10 -cellw 800 -altp -T

As usual, you can also use binder.