Skip to content

GitLab

Explore

Sign in

ulo
ulo

U

ulo

21 Commits
1 Branch
0 Tags

The upper library ontology for theorem prover libraries.

Download source code
zip

tar.gz

tar.bz2

tar

Copy SSH clone URLgit@gl.mathhub.info:ulo/ulo.git
Copy HTTPS clone URLhttps://gl.mathhub.info/ulo/ulo.git

README