English프랑스어스페인어

온웍스 파비콘

coq_makefile - 클라우드의 온라인

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

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

프로그램:

이름


coq_makefile - Coq Proof Assistant 메이크파일 생성기

개요


coq_makefile [ 인수 ]

기술


coq_makefile Coq 증명 개발을 위한 makefile 생성기입니다.

옵션


-h coq_makefile의 전체 옵션 목록에 대한 설명을 제공합니다.

onworks.net 서비스를 사용하여 온라인에서 coq_makefile 사용


무료 서버 및 워크스테이션

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