Skip to content
Snippets Groups Projects
Normal view Permalink
latin.md 141 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more projects
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 
    ---
layout: project
menu_title: LATIN
title: "LATIN: Logic Atlas & Integrator"
pillar: KMR
start: 2009
end: 2012
people: mkohlhase,frabe
---