Ohloh by Black Duck

 Follow @ Meta   Join Now

 Settings |  Report Duplicate
Very High Activity
3

Project Summary

  Analyzed 7 days ago based on code collected 7 days ago.

Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification apart from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.

Share

Quick Reference

Project Links:

 Download
 Issue Trackers
 Mailing Lists
Code Locations:
git://scm.gforge.inria.fr/why3/w...
Licenses:
LGPL
Similar Projects:
Managers:
Jean-Christophe Filliatre
Browse Code

In a Nutshell, Why3...

Languages

coq 		47%
XML 		38%
Objective Caml 		11%
10 Other 		4%
 
 

Lines of Code

 

Activity

30 Day Summary Apr 12 2013 — May 12 2013

12 Month Summary May 12 2012 — May 12 2013

  • 1228 Commits Down -50 (3%) from previous 12 months
  • 10 Contributors Down 0 (0%) from previous 12 months

Commits per Month

Community

Ratings

2 users rate this project:
5.0
 
5.0/5.0
 
Click to add your rating
 
Review this Project!

Most Recent Contributors

Anon32 Andrei Paskevich Avatar François Bobot
Avatar ...aume Melquiond Avatar ...ophe Filliatre
Avatar Claude Marché Anon32 Martin Clochard

Contributors per Month

 
 
 

Project Summary

Code Data

SCM Data

Community Data

 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.