Hacker News new | ask | show | jobs
by manu3000 2146 days ago
also similar is why3 http://why3.lri.fr/