A macOS installer package for a snapshot of Alfa, including the Agda proof engine, the GF plugin for natural language support and the Pesca theorem prover plugin. Start Alfa with the command
alfa -pluginsto 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.