The Coq mailing list

[Ömer Sinan Ağacan <omeragacan AT gmail.com>]

Hi all,

I learned a lot from contributing to open source compilers in the past. I'd like to do same thing to some Coq projects to learn more about practical use of Coq.

I searched in Github to find some projects but couldn't find anything other than 1) not actively developed projects 2) personal repos to keep solved exercises.

At this point I don't have any ideas about what kind of projects to look. A compiler verification project and some kind of algebra formalization project may be very different from each other, but at this point I'm open to all kinds of projects because I don't have any ideas about any of them.

Thanks.

---
Ömer Sinan Ağacan
http://osa1.net