aniceto-coq

utilities

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

How to download and setup aniceto-coq

Open terminal and run command

git clone https://github.com/cogumbreiro/aniceto-coq.git

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

Or simply clone aniceto-coq with SSH

[email protected]:cogumbreiro/aniceto-coq.git

If you have some problems with aniceto-coq

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

Similar to aniceto-coq repositories

Here you may see aniceto-coq alternatives and analogs

lodash date-fns gitsome saws haxor-news stdlib opensource spectre bojler tqdm boltons Utils ifvisible.js sysadmin-util You-Dont-Need-Lodash-Underscore cz-cli funcy sharpkeys android-templates-and-utilities glom lain styled-tools ethereumjs-util react-router-util utils utility-types ubelt env-cmd ramda-adjunct lodash-php