[FOM] Proof assistants and conjectures

Randall R Schulz rschulz at sonic.net
Tue Jan 6 20:17:36 EST 2009


On Sunday 04 January 2009 20:37, Timothy Y. Chow wrote:
> For the most popular proof assistants, has there has been any
> systematic effort to compile databases of conjectures as well as of
> theorems?

It sounds like you're describing the Mizar Project:

- <http://www.mizar.org/>
- <http://www.mizar.org/project/>
- <http://en.wikipedia.org/wiki/Mizar_system>
- <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.2895>


> ...
>
> Tim


Randall Schulz


More information about the FOM mailing list