Здравейте, колеги,
Както споменах предишната седмица, на следващото занятие (на 27.05) ще се учим как да пишем доказателства на компютър със системите Minlog и Coq.
Имаме два варианта: всеки да ползва собствен преносим компютър или да запазим компютърна зала във ФМИ. Моля да ми помогнете с организацията, като максимално бързо отбележите в тази анкета кой е предпочитаният от вас вариант.
Ако ползвате собствен компютър, отново имате няколко варианта, които не е нужно да заявявате предварително, а можем на място да уточним:
- да инсталирате Minlog и Coq локално съгласно инструкциите за инсталация на съответните им сайтове
- нужен софтуер: Petite Scheme или Racket, Emacs, OCaml
- да инсталирате контейнерни образи на Minlog и Coq:
- нужен софтуер: Docker
- Minlog: docker run -it trifon/minlog
- Coq (вариант 1): docker run -it trifon/coq-lxde-vnc
- нужен софтуер: VNC клиент (напр. TightVNC)
- Coq (вариант 2): docker run --rm -it coqorg/coq:dev rlwrap coqtop
- да се свържете на място с моя лаптоп през SSH и VNC
- нужен софтуер: SSH клиент (например терминал с OpenSSH или PuTTY), VNC клиент (напр. TightVNC)
Благодаря ви за съдействието!