Skip to content

GitLab

Explore

Sign in

MMT
LATIN

L

LATIN

Project information

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

205 Commits
2 Branches
0 Tags

README

Created on

February 23, 2014

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