Coq

Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다.

Coq는 교정 지원으로, 엄격하고 공식적인 방법으로 수학 교정을 작성하고 컴퓨터에서 정확성을 검사 할 수 있습니다.또한 코드의 정확성과 종속 유형을 사용하여 프로그래밍 할 수 있습니다.

상용 라이센스가있는 Web 용 Coq 대체