Skip to content

Latest commit

 

History

History
60 lines (44 loc) · 1.99 KB

README.md

File metadata and controls

60 lines (44 loc) · 1.99 KB

ABS Metatheory

Docker CI

Formal metatheory in Coq for the ABS language.

Meta

Building instructions

To install all dependencies, do:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq.8.18.0 coq-ott coq-equations coq-stdpp

To build when dependencies are installed, do:

git clone https://github.com/kth-step/abs-metatheory.git
cd abs-metatheory
make   # or make -j <number-of-cores-on-your-machine> 

To build a pdf documenting the project, ensure that ott and TeX Live (pdflatex) are installed, and do:

make docs/report/main.pdf

Note that the source file to edit for this pdf is docs/report/main.mng.

Documentation

See also ABS Tools.