Explore projects
-
-
-
Updated
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
This platform gives tools to manipulate Sanskrit data
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated