coq
| Name | Category | Description |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | SPARK 2014 repository for the Why3 verification platform |
| Name | Category | Description |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | SPARK 2014 repository for the Why3 verification platform |