Closed kohlhase closed 6 years ago
OH, and we need to document the metadata as well.
I have started documenting the existing metadata at https://github.com/theoremprover-museum/theoremprover-museum.github.io/tree/master/_data
and I have just started to add author data to https://github.com/theoremprover-museum/theoremprover-museum.github.io/tree/master/_data/provers.yml We need more.
this schema works for now.
We should develop a metadata schema for provers, implement it in
provers.yml
, collect the respective data, and show it on the web site (e.g. as a popup for the provers. I think we need the following fields for a start:maintainer
[n] (last kwown maintainers)authors
[n] (original authors)years
(the years of active development)home
system home page if it still existslanguages
programming languages usedlicense
if anyThere is more information in the table at https://en.wikipedia.org/wiki/Automated_theorem_proving which could be relevant for our metadata schema.
Once we have the metadata, we can make derived listings from those, not just the chronological we have right now.