Chương trình theo coq4eclipse.sf.net
-
Coq4Eclipse Miễn phí
Coq4Eclipse là một plugin cho Nền tảng Eclipse cung cấp giao diện cho Coq Proof Assistant. Nó sẽ hỗ trợ người dùng tô sáng cú pháp, cơ sở tìm kiếm, ký hiệu toán học, in đẹp, v.v.
Coq4Eclipse là một plugin cho Nền tảng Eclipse cung cấp giao diện cho Coq Proof Assistant. Nó sẽ hỗ trợ người dùng tô sáng cú pháp, cơ sở tìm kiếm, ký hiệu toán học, in đẹp, v.v.