Welcome to Bugzilla, the bug tracking system for the Coq proof assistant. As you may see, it runs the Bugzilla software. So if you need help using Bugzilla, we invite you to refer to the official documentation of Bugzilla, especially this chapter.

For Coq users that submitted bugs through the Jitterbug system, a bugzilla account has automatically been created. To retrieve the password for this account, simply follow the Forgot my password procedure, your login name being your email address.

Now choose what you want to do:

 
[ Forgot my Password ]