프로그램별 lurch.sf.net

수학 증명을 가르치고 배우기 위한 소프트웨어대부분의 수학적 증거 소프트웨어가 공식적인 논리 (또는 수학의 다른 전문 분야)에 집중하는 경우 Lurch는 attracitve 사용자 인터페이스를 사용하여 진정한 범용으로 하는 것을 목표로합니다.