Binary packages for macOS

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

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: