develop a standard repository layout so that we can have other things than just the source - Githubissues

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

develop a standard repository layout so that we can have other things than just the source #14

Open kohlhase opened 6 years ago

kohlhase commented 6 years ago

we want to have

papers and manuals (e.g. in subdir doc)
images and videos, ... (e.g. in img
an extended metadata file

and implement this on the existing repositories.