coq
| Name | Category | Description |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | Platform for deductive program verification |
| Name | Category | Description |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | Platform for deductive program verification |