To repozytorium zawiera kod źródłowy interaktywnej notatki do mojego wystąpienia na Dniach Otwartych II UWr 2021. Możesz ją przeczytać tutaj: Coq: jak udowodnić, że nasz program działa poprawnie.
Żeby zbudować projekt lokalnie, użyj poniższych komend (musisz mieć coqc
i resztę Coqowych rzeczy):
git clone https://github.com/wkolowski/Dni-Otwarte-2021
cd Dni-Otwarte-2021
./build.sh
Żeby obejrzeć notatkę lokalnie, postaw serwer HTTP w folderze docs/
, np. za pomocą komendy
npx localhost docs/ &
a następnie otwórz w przeglądarce http://localhost:8080