coq-ext-lib

programming

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

How to download and setup coq-ext-lib

Open terminal and run command

git clone https://github.com/coq-community/coq-ext-lib.git

git clone is used to create a copy or clone of coq-ext-lib 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 coq-ext-lib https://github.com/coq-community/coq-ext-lib/archive/master.zip

Or simply clone coq-ext-lib with SSH

[email protected]:coq-community/coq-ext-lib.git

If you have some problems with coq-ext-lib

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

Similar to coq-ext-lib repositories

Here you may see coq-ext-lib alternatives and analogs

freeCodeCamp You-Dont-Know-JS free-programming-books-zh_CN 30-seconds-of-code system-design-primer interactive-coding-challenges ES6-for-humans build-your-own-x papers-we-love HowToBeAProgrammer pytudes awesome-falsehood gitsome saws p1xt-guides haxor-news CreepyCodeCollection elixirschool Programming-Alpha-To-Omega handong1587.github.io telegram-list adv-r awesome-cold-showers aws-doc-sdk-examples OpenComputers viz Algo_Ds_Notes MyNotebook colobot blog