Conjectura
Sign inRegister
Beta.Proofs cannot be submitted yet. The corpus is open to read, and we are looking for researchers to maintain a subject area.Maintaining a field →

Submit a question

Describe an open question in English and say why it is interesting and still open. A maintainer for the area decides — and if they accept it, they write the canonical Lean statement themselves.

Proposing a question needs an account, because every submission costs a maintainer their attention and the daily limit has to attach to somebody.

RegisterSign in

Browsing problems, reading the library and reading proofs never need one.