Update provers.yml - Githubissues

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io

GNU General Public License v3.0

52 stars 7 forks source link

Update provers.yml #18

Closed mariapaola closed 5 years ago

mariapaola commented 5 years ago

Added the Clause-Diffusion provers

kohlhase commented 5 years ago

thanks a lot, this is very valuable.