수학 증명을 가르치고 배우기 위한 소프트웨어 대부분의 수학적 증거 소프트웨어가 공식적인 논리 (또는 수학의 다른 전문 분야)에 집중하는 경우 Lurch는 attracitve 사용자 인터페이스를 사용하여 진정한 범용으로 하는 것을 목표로합니다.
버전 기록
- 버전 0.4 에 게시 2010-09-22
몇 가지 수정 및 업데이트 - 버전 0.4 에 게시 2010-09-22
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: lurch.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 0.4
- 플랫폼: linux