Tarafından Programlar liblogic.sf.net

libLogic doğru ve verimli bir şekilde herhangi bir düzenin herhangi bir mantıksal teori, hiçbir insan yardımı ile tam olarak tüm kanıtlanabilir ifadeleri kanıtlamak için inanılan-be-eşsiz yeteneği ile kanıtlayan otomatik teor