L

LATIN

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