Keep a list of active theorem provers?

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Closed kohlhase closed 7 years ago

kohlhase commented 8 years ago

Do we want to keep a list, then we know where to check when the become inactive.

kohlhase commented 7 years ago

done.