Downloading LPL Software 2.7 from the developer's website was possible when we last checked. We cannot confirm if there is a free download of this software available. The actual developer of the program is Openproof Project,CSLI Stanford.
The program lies within Education Tools, more precisely Teaching Tools. According to the results of the Google Safe Browsing check, the developer's site is safe. Despite this, we recommend checking the downloaded files with any free antivirus software.
From the developer:
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.
You may want to check out more software, such as MP3 Cutter by Aiv Software, Sperry Software - Always BCC or OXD Software Movie Organizer, which might be similar to LPL Software.
Browsers
System Optimization