This is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.
- Complete source code: mona-1.4-17.tar.gz
- For developers: MONA on github (note: the files on github are not timestamped, so building MONA from those files require autoconf, automake, etc.)
- Executable for Windows: mona.exe (1.4-13), cygwin1.dll
- monaviewer-1.0.tar.gz - a Java tool for viewing MONA formulas as tree structures (by Patrick Lam)
- monagui-1.0.tar.gz - a GUI for editing and processing MONA formulas (by Michael Kruse)