Fol-E started off as a Software Engineering project of five second year students at University College Dublin
The idea of Fol-E was brought up after recognising the difficulty of typing up Discrete Mathematics assignments, and the frustration caused by the errors, having to resart a question.
We were looking for a solution, which would descrease the amount of time required to write up the proofs; a better visual representation of the processes, based on the style taught in classes; a place where the list of laws is groupped together.
In order to share Fol-E, with as many people as possible, we have decided to write it in Java. Because of this decision, Fol-E is avaliable on all major platforms.
About SourceForge.net:
SourceForge.net is the world's largest provider of hosting for Open Source software development projects. SourceForge.net provides a variety of services to projects, including a download mirror network, collaborative development tools (like CVS and Subversion), and tools to support discussion and support. These services are provided to projects and their end-users free-of-charge.
About Open Source:
Of benefit to users, Open Source software is licensed so you can download and use the software free-of-charge. The source code for this software is made available free-of-charge, you (or a programmer you hire) can make changes to this software to better meet your needs, and you can release your changed code back to the community passing the benefit on to other users.
The exact license terms used by this project on their project summary page and in the licensing documents included in their downloads.