Atur cara mengikut tautologica.sf.net

Suite program untuk alat logik pendidikan. Sekarang satu-satunya program kerja di suite adalah Editor Model Tautologica.