diff --git a/projects/oaf.md b/projects/oaf.md index 813998f0a9437ac152aaf94c1157788aa5c17e1b..ad0a0d42f5c33a46103c017d8e37da51b8d847c9 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: