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 src/Zipper.elm src/Editor.elm src/Core/Proof.elm src/Core/Matcher.elm src/History.elm src/Exporting/Json/Decode.elm src/Exporting/Json/Encode.elm src/Exporting/Ports.elm src/Core/Types.elm src/Core/Validator.elm --open --pushstate --output=elm.js