Skip to content
Snippets Groups Projects
Normal view Permalink
README 580 B
Newer Older
  • Learn to ignore specific revisions
    • Mackie Loeffel's avatar
    finished lemma A.2 and started with some tactics
    Mackie Loeffel committed
    1 2 
    This project was built with coq version 8.7.2.
    Mackie Loeffel's avatar
    lemma A 10  
    Mackie Loeffel committed
    3 4 
    This project uses Autosubst (https://github.com/uds-psl/autosubst). It must be installed from the coq86-devel branch as described in the README of Autosubst.
    Mackie Loeffel's avatar
    finished lemma A.2 and started with some tactics
    Mackie Loeffel committed
    5 6 7 8 9 10 11 12 13 
    To build the project run
$ make

There are several ways to build a documentation.
- HTML with proofs:     $ make html
- HTML without proofs:  $ make gallinahtml
- pdf with proofs:      $ make all.pdf
- pdf without proofs:   $ make all-gal.pdf
HTML documentation can be found in the html subfolder, pdf documentation is created in the main folder as all.pdf or all-gal.pdf.