[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:
> > 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.
More information about the FOM