Coq
proof assistant| Developer: | open source |
|---|---|
| Official website: | https://coq.inria.fr/ |
Latest version: 8.16.1 (Nov. 25, 2022)
Flavors
| Flavor | Latest version | Release date |
|---|---|---|
| main | 8.16.1 | Nov. 25, 2022 |
| Developer: | open source |
|---|---|
| Official website: | https://coq.inria.fr/ |
| Flavor | Latest version | Release date |
|---|---|---|
| main | 8.16.1 | Nov. 25, 2022 |