द्वारा कार्यक्रम tautologica.sf.net

शैक्षिक तर्क उपकरणों के लिए एक कार्यक्रम सुइट। अभी सुइट में एकमात्र काम करने वाला कार्यक्रम Tautologica मॉडल संपादक है।