Binary packages for macOS

NameLast modifiedSize
Parent Directory  -
alfa-170826.pkg2017-08-26 19:53 4.8M

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 -plugins to activate all plugins.

Known issues on macOS: