Forked from
KWARC / kwarc.info / www
1181 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
latin.md 141 B
layout: project
menu_title: LATIN
title: "LATIN: Logic Atlas & Integrator"
pillar: KMR
start: 2009
end: 2012
people: mkohlhase,frabe