Welcome to CoqDevel

In this blog, I'll try to post my attempts on the field of software development. This would be mainly work-related, but I also try to get something done in my spare time for open source community.