Tarafından Programlar lurch.sf.net

Matematiksel kanıtları öğretmek ve öğrenmek için yazılımÇoğu matematiksel kanıt yazılımı resmi mantık (veya matematiğin diğer bazı özel alan) üzerinde yoğunlaşan nerede, Lurch gerçekten genel amaçlı olmayı amaçlamaktadır, b