Commit a55698fb authored by Adrien Koutsos's avatar Adrien Koutsos

Added a small example to the README.

parent e3a47c51
1) Add to your .emacs to following lines, where LOAD_DIRECTORY is the path to the directory containing apoci.el
0) To test the prover, run:
./main.byte -file protocol_description.api -proof proof_script.apo
For example:
./main.byte -file test/ok/nsl.api -proof test/ok/nsl.apo
1) To use the emacs interactive mode, add to your .emacs to following lines, where LOAD_DIRECTORY is the path to the directory containing apoci.el
;; APoCI mode
(add-to-list 'load-path "LOAD_DIRECTORY")
......
(* First trace *)
obiwan;
cca2;
help;
fab 7;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment