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

Update oaf.md: no longer active

parent ee68135f
Branches
No related tags found
No related merge requests found
Pipeline #2980 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
projects/oaf.md
+ 2
− 2
View file @ 49d74b03
...@@ -5,9 +5,9 @@ title: "OAF: An Open Archive for Formalizations" ...@@ -5,9 +5,9 @@ title: "OAF: An Open Archive for Formalizations"
shorttitle: OAF 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. 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' start_date: '2014'
end_date: '2020' end_date: 'June 2020'
publink: auto publink: auto
people: people:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment