Coq Platform
Formal proof management system
CaskEducation & ScienceApple silicon · Intel
From homebrew/cask
30-day installs16#1826 in App
1-year installs196Last 365 days
Latest version2025.01.02 days ago · Oct 7
Download size1.0GBarm64 / x86_64 · dmg
Release cadenceIrregular0 releases in 30 days
- System requirements
- Not confirmed
Platform availability
- macOS 27 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 27 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 26 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 26 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 15 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 15 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 14 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 14 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 13 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 13 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 12 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 12 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
- macOS 11 · Intel · 2023.11.0,8.18.2023.11 Not confirmed
- macOS 11 · Apple chip · 2025.01.0,8.20.2025.01 Not confirmed
View full declaration
{
"macos": {}
}