mine the old theorem prover overview pages for systems - Githubissues

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 6 forks source link

mine the old theorem prover overview pages for systems #5

Open kohlhase opened 8 years ago

kohlhase commented 8 years ago

(if they still exist).

kohlhase commented 8 years ago

there is a list at https://en.wikipedia.org/wiki/Automated_theorem_proving