Popularity
8.9
Declining
Activity
0.0
Stable
2
36
0

Monthly Downloads: 12
Programming language: Haskell
License: MIT License
Tags: Languages    

why3 alternatives and related packages

Based on the "Language" category

Do you think we are missing an alternative of why3 or a related project?

Add another 'Language' Package

why3 Recommendations

There are no recommendations yet. Be the first to promote why3!

Have you used why3? Share your experience. Write a short recommendation and why3, you and your project will be promoted on Awesome Haskell.
Recommend why3

Recently added why3 resources

Do you know of a usefull tutorial, book or news relevant to why3?
Be the first to add one!