coq
| Название | Категория | Описание |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | Platform for deductive program verification |
| Название | Категория | Описание |
|---|---|---|
| why3 | sci-mathematics | Platform for deductive program verification |
| why3-for-spark | sci-mathematics | Platform for deductive program verification |