Coqtail
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
에 대해 Coqtail
COQ Theorems, 추상화 및 구현 (학사 수준) Coqtail는 Coq 증거 도우미를 사용하여 수학적 증거의 라이브러리입니다.
관련 프로그램
-
Triplets / Triple 무료
Ce logiciel recherche tous les triplets pythagoriciens que l'on peut former avec un nombre allant de 1 9999999. / 이 소프트웨어는 우리가 1에서 999999999로 가는 숫자로 형성 할 수있는 모든 피타고라스 트리플을 찾습니다.
-
FunnyRobot Platform 무료
FunnyRobot 프로젝트는 USB를 통해 프로그래밍 할 수있는 교육 로봇 컨트롤러를 설계합니다. 하드웨어와 소프트웨어 모두 구성 가능하고 확장가능합니다. 사용자는 C++ 라이브러리를 통해 프로그램을 빌드하고 실시간 운영 체제에서 실행할 수 있습니다.
-
Merriam-Webster s Unabridged 무료 평가판
메리암-웹스터의 세 번째 새로운 국제 사전, Unabridged - 미국의 가장 포괄적 인 사전.------------사전 세부 정보:& 257,244개 이상의 항목과 700,000개의 정의& 단어 기원과 100,000 인용을 설명하는 143,000 어원& 1,100 동의어 단락& 새로운 단어와 의미의 특별 업데이트 부록 섹션& 확장
-
Madagascar 무료
마다가스카르는 지구물리학 적 데이터 처리 및 재현 가능한 수치 실험을 위한 소프트웨어 패키지입니다. 패키지 임무는 디지털 이미지 및 데이터 처리와 함께 일하는 연구원에게 편리한 환경을 제공하는 것입니다.
-
Parable NKJV 무료
무료: 요한복음 전체(2시간 14분)에는 루 고셋 주니어가 요한으로 등장합니다. 언제든지 당신은 Parable NKJV 구약에 대한 전체 오디오를 구입할 수 있습니다 또는 개별적으로 책을 구입할 수 있습니다. 비유NKJV는 성경의 신뢰할 수있는 뉴 킹 제임스 버전 (NKJV)의 대본 드라마로 강렬하고 극적인 오디오 극장 형식으로 제공됩니다. 이 오디오 프로젝트는 마이클 요크(해설자), 리처드 드레이퍼
-
LibreEngineering 무료
LibreEngineering - 계측, 전기, 기계, 공정 엔지니어링 계산 및 설계 프로그램 및 기타 도구 제품군. GPL3에 따라 허가되었습니다. Qt 툴킷으로 파이썬으로 작성되었습니다.
-
AVR Attiny26 Visual Programmer 무료
조립을 아웃태하기 위한 Attiny26 마이크로 컨트롤러용 시각적 GUI 프로그래머가 육각형으로 조립하고 직관적인 인터페이스(Tekbots-OSU)를 사용하여 하드웨어에 업로드합니다.
-
GRE Mnemonics Wordlist Lite 무료
-------------------친절 하 게 이 응용 프로그램을 개선 하는 데 도움이 이 설문 조사를 완료 합니다.http://goo.gl/xwyyCX-------------------GRE, CAT, PSAT, SAT, LSAT, 검정고시, ESL, GMAT, ACT, MCAT, TOEFL, IELTS, PCAT, OAT 등의 준비를위한 완벽한 vocab 건물 응용 프로그램.
-
Asmaul Husna 무료
하나님의 99명의 이름이나 99명의 알라의 이름은 이슬람교도들이 하나님을 존중하시는 하나님의 이름이며, 다른 장소들 사이에는 코란과 순나에 묘사되어 있다.
-
Doxygen filters 무료
이러한 프로그래밍 언어에 대한 Doxygen 필터: GNU의 R, kx.com q, MathWorks의 MatLab. 이러한 프로그램은 Flex++를 사용하여 C+에서 구현됩니다. 함수 정의뿐만 아니라 전체 인라인 소스를 제공합니다.