PHD
Playground for my PhD, mostly bigraphs in Coq
To compile:
First create CoqMakefile:
coq_makefile -f _CoqProject -o CoqMakefile
Then compile with
make -f CoqMakefile
To generate LaTeX documentation:
coqdoc -g -toc --latex --lib-subtitles src/AbstractBigraphs.v
To clean:
Run
./coqclean.sh
If necessary:
chmod +x coqclean.sh