โปรแกรมตาม tautologica.sf.net

ชุดโปรแกรมสําหรับเครื่องมือตรรกะการศึกษา ตอนนี้โปรแกรมการทํางานเดียวในชุดคือตัวแก้ไขแบบจําลอง Tautologica