gentoo.mahdi.cz
sci-mathematics
:why3-for-spark
Platform for deductive program verification
https://why3.lri.fr/
why3-for-spark-2021-r1
GPL-3
download
amd64
gentoo