User:CMarche

Despite the fact that I am one of the developers of the Why3 software, I took the initiative of proposing a Wikipedia page for Why3, which is an open-source software developed by public money, available for all, and gain some significant visibility in the past years. I did my best to keep neutral, and add as many internal and external for reference.