[FOM] Proof assistants and conjectures

[Timothy Y. Chow]

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