Skip to content
Snippets Groups Projects
Commit 20fa259f authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

affiliation

parent 0c706f48
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
projects/oaf.md
+ 1
− 1
View file @ 20fa259f
......@@ -24,7 +24,7 @@ proposal: http://kwarc.info/kohlhase/projects/oaf.pdf
---
OAF is a DFG-funded research project running from 2014-2017 and headed by Michael Kohlhase
and Florian Rabe at Jacobs University Bremen. It aims at the integration of formal
and Florian Rabe at FAU Erlangen-Nürnberg. It aims at the integration of formal
mathematical libraries.
Formal/symbolic systems and their libraries are non-interoperable because they are based
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment