From 49d74b036c25bd6c7b802cf3cc6fa761adf49c41 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 28 Jan 2021 05:31:59 +0100
Subject: [PATCH] Update oaf.md: no longer active

---
 projects/oaf.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/projects/oaf.md b/projects/oaf.md
index 813998f..ad0a0d4 100644
--- a/projects/oaf.md
+++ b/projects/oaf.md
@@ -5,9 +5,9 @@ title: "OAF: An Open Archive for Formalizations"
 shorttitle: OAF
 teaser: The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting.
 
-active: true
+active: false
 start_date: '2014'
-end_date: '2020'
+end_date: 'June 2020'
 publink: auto
 
 people: 
-- 
GitLab