Explore projects
-
Back to the Trees / plantinator
GNU General Public License v3.0 or laterUpdated -
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -