Binary packages for macOS
A macOS installer package for a snapshot of
including the Agda proof engine, the
GF plugin for natural
language support and the
theorem prover plugin. Start Alfa with the command
alfa -plugins to activate all plugins.
Known issues on macOS:
- You need to have
XQuartz installed to run it.
- There a layout problem in the menu window and the file selection
window when they first open. Resizing the window restores normal layout.
- With the default settings in XQuartz, when the main window is
active, the first click in the menu window only activates the window,
a second click is needed to select something from the menu.
To solve, open XQuarz Preferences,
go to the Windows tab and activate
Click-through Inactive Windows and/or Focus Follows Mouse.