Formal models associated with ArmoredSoftware development
Make libraries using:
make clean ; make
Make documentation using:
make clean; make html
make clean; make all.pdf
Makefile automatically generated from _CoqProject - do not edit directly. Use the following command to regenerate the Makefile if new files are added:
coq_makefile -f _CoqProject -o Makefile