English프랑스어스페인어

온웍스 파비콘

coqide.byte - 클라우드의 온라인

Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터를 통해 OnWorks 무료 호스팅 제공업체에서 coqide.byte 실행

이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 명령 coqide.byte입니다.

프로그램:

이름


coqide - Coq Proof Assistant 그래픽 인터페이스

개요


코키드 [ 옵션 ]

기술


코키드 Coq 증명 도우미를 위한 gtk 그래픽 인터페이스입니다.

Coq의 명령줄 기반 사용에 대해서는 다음을 참조하십시오. 콕탑(1) ; Coq의 배치 지향 사용에 대해서는 다음을 참조하십시오.
coqc(1).

옵션


-h 에서 허용하는 전체 옵션 목록 표시 코키드.

-I DIR, -포함 DIR
포함 경로에 디렉토리 dir을 추가하십시오.

-R DIR 콕디르
재귀적으로 물리적 매핑 DIR 논리적으로 콕디르.

-src 포함 경로에 소스 디렉토리를 추가하십시오.

-는 f, -입력 상태 f
상태 읽기 f.coq.

-소음 빈 상태로 시작하십시오.

-출력 상태 f
파일에 상태 쓰기 f.coq.

-load-ml-개체 f
ML 개체 파일 로드 f.

-load-ml-소스 f
ML 파일 로드 f.

-l f, -로드-버낙-소스 f
Coq 파일 로드 f.v(로드 f..)

-lv f, -로드-베르낙-소스-상세 f
Coq 파일 로드 f.v(상세 로드 f..)

-로드 버낙 객체 f
Coq 개체 파일 로드 f.보.

-필요하다 f
Coq 개체 파일 로드 f.vo 및 가져오기(필수 f..)

-엮다 f
Coq 파일 컴파일 f.v(의미 -일괄).

-컴파일 장황 f
Coq 파일을 장황하게 컴파일 f.v(의미 -일괄).

-고르다 Coq 또는 Coq_SearchIsos의 네이티브 코드 버전을 실행합니다.

-바이트 Coq 또는 Coq_SearchIsos의 바이트코드 버전을 실행합니다.

-어디 Coq의 표준 라이브러리 위치를 인쇄하고 종료합니다.

-v Coq 버전을 인쇄하고 종료합니다.

-q rcfile의 로드를 건너뜁니다.

-초기화 파일 f
rcfile을 다음과 같이 설정하십시오. f.

-일괄 배치 모드(인수 구문 분석 직후 종료).

-신병 부팅 모드( -q and -일괄).

-이맥스 Coq에게 Emacs에서 실행된다고 알려줍니다.

-덤프 글로브 f
파일의 덤프 세계화 f (에 의해 사용 coqdoc(삼)).

- 암시적 집합
정렬 설정 암시적 설정.

-내하중 방지
메모리에 불투명한 증명을 로드하지 마십시오.

-xml 디렉토리를 기반으로 하는 계층 구조로 XML 파일 내보내기
COQ_XML_LIBRARY_ROOT (설정된 경우) 또는 stdout으로 (설정되지 않은 경우).

onworks.net 서비스를 사용하여 온라인으로 coqide.byte 사용


무료 서버 및 워크스테이션

Windows 및 Linux 앱 다운로드

  • 1
    팩 매니저
    팩 매니저
    PAC는 다음을 위한 Perl/GTK 대체품입니다.
    SecureCRT/퍼티/등(리눅스
    ssh/telnet/... gui)... GUI를 제공합니다.
    연결 구성: 사용자,
    비밀번호, EXPECT 규칙...
    PAC 관리자 다운로드
  • 2
    GeoServer
    GeoServer
    GeoServer는 오픈 소스 소프트웨어입니다.
    사용자를 허용하는 Java로 작성된 서버
    지리 공간 데이터를 공유하고 편집합니다.
    상호 운용성을 위해 설계되었으며,
    출판 다...
    GeoServer 다운로드
  • 3
    반딧불 III
    반딧불 III
    무료 오픈 소스 개인 금융
    관리자. Firefly III는
    복식 부기 시스템. 당신은 할 수 있습니다
    신속하게 입력하고 구성
    거래 나...
    Firefly III 다운로드
  • 4
    아파치 오픈오피스 확장
    아파치 오픈오피스 확장
    Apache의 공식 카탈로그
    오픈오피스 확장. 당신은 찾을 수 있습니다
    사전에서 확장까지
    PDF 파일을 가져오고 연결하는 도구
    내선으로...
    Apache OpenOffice 확장 다운로드
  • 5
    맨티스BT
    맨티스BT
    Mantis는 쉽게 배포할 수 있는 웹
    제품 버그를 지원하는 기반 버그 추적기
    추적. PHP, MySQL 및
    웹 서버. 데모를 확인하고 호스팅
    제안...
    맨티스BT 다운로드
  • 6
    LAN 메신저
    LAN 메신저
    LAN Messenger는 p2p 채팅 응용 프로그램입니다.
    인트라넷 통신용이며
    서버가 필요합니다. 다양한 핸디
    다음과 같은 기능이 지원됩니다.
    알림...
    LAN 메신저 다운로드
  • 더»

Linux 명령

  • 1
    계속
    계속
    abidw - ELF의 ABI 직렬화
    파일 abidw는 ELF에서 공유 라이브러리를 읽습니다.
    형식을 지정하고 XML 표현을 내보냅니다.
    ABI를 표준 출력으로. 그만큼
    방출 ...
    abidw 실행
  • 2
    아빌린트
    아빌린트
    abilint - abigail ABI 유효성 검사
    표현 abilint는 네이티브를 구문 분석합니다.
    내보낸 ABI의 XML 표현
    by abidw. XML을 구문 분석한 후
    표현...
    실행 빌린트
  • 3
    코어센드msg
    코어센드msg
    coresendmsg - CORE API 메시지 보내기
    코어 데몬 데몬으로 ...
    coresendmsg 실행
  • 4
    core_server
    core_server
    core_server - 기본 서버
    SpamBayes. 설명: 현재 서비스 중
    웹 인터페이스만. 연결
    다양한 프로토콜에 대한 리스너는 미정입니다.
    이건 ...
    core_server 실행
  • 5
    fwflash
    fwflash
    fwflash - 이미지 파일을 플래시하는 프로그램
    연결된 NXT 장치에...
    fwflash 실행
  • 6
    fwts 수집
    fwts 수집
    fwts-collect - fwts에 대한 로그 수집
    버그 보고. ...
    fwts-collect를 실행하세요
  • 더»

Ad