Coq.CoqPlatform 8.14.1

Coq.CoqPlatform, Release version: 8.14.1

Command Line

Download Links For Version 8.14.1

https://github.com/coq/Platform/releases/download/2022.01.0/Coq-Platform-8.14.2022.01-installer-windows-i686_signed.exe

Download Links For Version 8.13.2

https://github.com/coq/Platform/releases/download/2021.09.0/Coq_Platform_2021.09.0.8.13-installer-windows-x86_64-signed.exe

Download Links For Version 2021.02.1

https://github.com/coq/Platform/releases/download/2021.02.1/coq-Platform-2021.02.1-installer-windows-x86_64.exe

https://github.com/coq/Platform/releases/download/2021.02.1/coq-Platform-2021.02.1-installer-windows-i686.exe

Info

last updated 4/23/2023 5:03:30 AM
Publisher:
License:

Dependencies

No dependency information

Share