0 Forks
10 Stars
10 Watchers

dblib-linear

Formalisation of the linear lambda calculus in Coq

How to download and setup dblib-linear

Open terminal and run command
git clone https://github.com/michaelsproul/dblib-linear.git
git clone is used to create a copy or clone of dblib-linear 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 dblib-linear https://github.com/michaelsproul/dblib-linear/archive/master.zip

Or simply clone dblib-linear with SSH
[email protected]:michaelsproul/dblib-linear.git

If you have some problems with dblib-linear

You may open issue on dblib-linear support forum (system) here: https://github.com/michaelsproul/dblib-linear/issues