gentoo.mahdi.cz
sci-mathematics
:why3
Platform for deductive program verification
https://why3.lri.fr/
why3-1.6.0
LGPL-2
download
~amd64
gentoo