---
layout: project
menu_title: OAF
title: "OAF: An Open Archive for Formalizations"
pillar: KMR
start: 2014
end: 2018
people: mkohlhase,frabe,dmueller
---