Skip to content
Snippets Groups Projects
Normal view Permalink
oaf.md 157 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 10 
    ---
layout: project
menu_title: OAF
title: "OAF: An Open Archive for Formalizations"
pillar: KMR
start: 2014
end: 2018
people: mkohlhase,frabe,dmueller
---