The proof assistant is available at https://fmfi-uk-1-ain-412.github.io/proof-assistant/. For information how the proof assistant works see the user guide.
You must have Elm and elm-live installed.
Install the required packages for the proof assistant.
elm-package install(Answer y when prompted.)
To compile the source code and run a live server run the following command:
elm-live src/Main.elm --open --pushstate --output=elm.js