이사벨 / 이클립스 이사벨 증거 조수를위한 이클립스 통합
지금 다운로드

이사벨 / 이클립스 순위 및 요약

이사벨 / 이클립스 태그

컴파일러 개발하다 개발자 이클립스 플러그인

이사벨 / 이클립스 설명

Isabelle / Eclipse는 사용자가 자신의 스크립트와 함께 작동하고 프로그래밍 지식을 향상시키는 데 도움이되도록 설계된 편리하고 신뢰할 수있는 응용 프로그램입니다. Isabelle / Eclipse는 Eclipse 플러그인뿐만 아니라 독립형 응용 프로그램으로 작동합니다. 시작할 응용 프로그램을 구성 할 때 Isabelle / Eclipse가있는 위치와 어떤 세션이로드되는지를 표시해야합니다. 또한 소프트웨어는 이사벨 이론 파일의 텍스트 편집기를 제공하고 코드 스크립트, 주석 등을 강조 표시 할 수 있습니다.

이사벨 / 이클립스 관련 소프트웨어