Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Tiago Cogumbreiro
aniceto-coq

A

aniceto-coq

Project information

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

coq-library graph-theory utilities

347 Commits
1 Branch
0 Tags

README
The Unlicense

Created on

December 19, 2017

Copy SSH clone URLgit@gitlab.com:cogumbreiro/aniceto-coq.git
Copy HTTPS clone URLhttps://gitlab.com/cogumbreiro/aniceto-coq.git