OpenLogicProject की ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
एक ओपन-सोर्स, कस्टमाइज़ेबल मध्यवर्ती तर्क (लॉजिक) पाठ्यपुस्तक
