Coq Platform
Formal proof management system
Mac · v2025.01.0 · rocq-prover.org
About Coq Platform
Formal proof management system.
More system tools for Mac
Stats
System monitor for the menu bar
System Tools
macFUSE
File system integration
System Tools
Rectangle
Move and resize windows using keyboard shortcuts or snap areas
System Tools
BetterDisplay
Display management tool
System Tools
XQuartz
Open-source version of the X.Org X Window System
System Tools
Karabiner Elements
Keyboard customiser
System Tools
Ice
Menu bar manager
System Tools
FreeMacSoft AppCleaner
Application uninstaller
System Tools
LinearMouse
Customise mouse behavior
System Tools