Skip to content

GitLab

Explore

Sign in

less-adhoc

Project information

The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma

9 Commits
2 Branches
0 Tags

README

Created on

March 15, 2018

Copy SSH clone URLgit@gitlab.software.imdea.org:anton.trunov/less-adhoc.git
Copy HTTPS clone URLhttps://gitlab.software.imdea.org/anton.trunov/less-adhoc.git