[FOM] Proof assistants and conjectures

Timothy Y. Chow tchow at alum.mit.edu
Wed Jan 7 15:25:35 EST 2009


It's clear from some of the responses that my question was not understood 
by everyone, so let me try again:

I wrote:
> > For the most popular proof assistants, has there has been any 
> > systematic effort to compile databases of conjectures as well as of 
> > theorems?

The following emphasis may help people parse my question.

Has there been any systematic effort to compile databases of *CONJECTURES*?

If you misread my message the first time, please read it again now that 
my question has been made clear.

Tim


More information about the FOM mailing list