HLM Proof Assistant

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표

HLM은 현재 개발 중인 일상 수학을 위한 증거 도우미입니다. 그것은 정기적 인 수학 연습에 가능한 한 가까운 사용자 경험을 목표로하고, 약간의 여분의 노력으로 인간이 이해할 수있는 증거.

버전 기록

  • 버전 Prototype 에 게시 2011-02-08
    몇 가지 수정 및 업데이트
  • 버전 N/A 에 게시 2011-02-08

프로그램 세부 정보