search

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 #17

Closed urchick closed 6 years ago

urchick commented 6 years ago

Hi Michael,

You asked us for Class and Int provers metadata, here is it.

We would be glad to see our system in the museum.

Yuri