0 Forks
2 Stars
2 Watchers

habanero-coq

Coq formalization of the Habanero programming model.

How to download and setup habanero-coq

Open terminal and run command
git clone https://github.com/cogumbreiro/habanero-coq.git
git clone is used to create a copy or clone of habanero-coq repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with habanero-coq https://github.com/cogumbreiro/habanero-coq/archive/master.zip

Or simply clone habanero-coq with SSH
[email protected]:cogumbreiro/habanero-coq.git

If you have some problems with habanero-coq

You may open issue on habanero-coq support forum (system) here: https://github.com/cogumbreiro/habanero-coq/issues