Coq Platform
System & Utilities
0.0
|
0 Downloads
|
—
What's New
Version 2025.01.0,8.20.2025.01
No changelog available yet.
Description
Formal proof management system
Download
brew install --cask coq-platform
