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

Name
Last commit
Last update
META-INF Loading commit data...
content Loading commit data...
export Loading commit data...
help Loading commit data...
models/org/omdoc/latin/models Loading commit data...
narration Loading commit data...
relational Loading commit data...
source Loading commit data...
.classpath Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.project Loading commit data...
README.md Loading commit data...
build.msl Loading commit data...
build.sbt Loading commit data...
clean.msl Loading commit data...
mmt-compatibility.txt Loading commit data...
serve.msl Loading commit data...