|
coq
☆
« Back to VersTracker
|
|||||||||||||||||||||||||||||||||||
|
Description: Proof assistant for higher-order logic |
|||||||||||||||||||||||||||||||||||
| Type: Formula | Tracked Since: Sep 11, 2024 | |||||||||||||||||||||||||||||||||||
| Links: Homepage | formulae.brew.sh | |||||||||||||||||||||||||||||||||||
| Install: brew install coq | |||||||||||||||||||||||||||||||||||
| Version History | |||||||||||||||||||||||||||||||||||
|