Isabelle

Isabelle

Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.
Isabelle은 컴퓨터로 수학 증거를 작성하고 확인하는 증거 조수입니다.수학 공식을 공식 언어로 표현할 수 있으며 공식을 논리 미적분으로 증명할 수있는 도구를 제공합니다.
isabelle

웹 사이트:

카테고리

오픈 소스 라이센스가있는 Windows 용 Isabelle의 대안