open the museum - Githubissues

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Open kohlhase opened 8 years ago

kohlhase commented 8 years ago

by announcing its existence, when we have a credible set of contents (at least 5, maybe 10). We should announce at the following venues

kohlhase commented 7 years ago

We should have an announcement/news channel as well, where we announce the new systems and/or new features.

kohlhase commented 7 years ago

kohlhase commented 6 years ago

I am working on an AAR newsletter post to go out soon.