findel-semantics-coq

A formal semantics of Findel in Coq.

Bibliography

Details about the Findel language can be found in the paper and Github repo.

How to compile on Linux/Mac

1. Install Coq from here. The Coq version used for development is 8.9.0 (Feb 2019).
2. In the command line, type ./configure.sh, and then, make

Windows/CoqIDE

On Windows, Coq comes with CoqIDE, which is able to load the _CoqProject file directly.