GitHub - FLAFOL/flafol-coq: Coq code for the FLAFOL logic.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Base		Base
Logic		Logic
Security		Security
Tactics		Tactics
CoqMakefile.conf		CoqMakefile.conf
Makefile		Makefile
Makefile.conf		Makefile.conf
README		README
_CoqProject		_CoqProject

Repository files navigation

Instructions:

To create a makefile, run `coq_makefile -f _CoqProject -o Makefile`.
Then, run `make` as normal.

Coq code for the FLAFOL logic.

No releases published