|
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 | ||||||||||||||||||||
|