Home

Tristan Schmelcher

libLogic is a software library for automated theorem proving with the believed-to-be-unequalled ability to correctly and efficiently prove precisely all provable statements in any logical theory of any order, with no human aid.


Project Admins:


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks