From 89171c5245b9a1104bb64dbc870b217c96b4e326 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 20 Jan 2021 15:47:01 +0100 Subject: [PATCH] Update oaf.md --- projects/oaf.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/oaf.md b/projects/oaf.md index b7eddca..076546c 100644 --- a/projects/oaf.md +++ b/projects/oaf.md @@ -31,7 +31,7 @@ OAF was a DFG-funded research project running from 2014-2020 and headed by Micha and Florian Rabe originally at Jacobs University Bremen and later at FAU Erlangen-Nürnberg. It centered on the integration of formal mathematical libraries. -Both the [original proposal](http://kwarc.info/kohlhase/projects/oaf.pdf) and the [final report](projects/oaf-report.pdf) are available. +Both the [original proposal](http://kwarc.info/kohlhase/projects/oaf.pdf) and the [final report](../oaf-report.pdf) are available. Formal/symbolic systems and their libraries are non-interoperable because they are based on differing, mutually incompatible foundations (e.g., set theory, higher-order logic, -- GitLab