Coqtail
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/coqtail/files/coqtail.1.0rc1.tar.gz/download
に関しては Coqtail
COQ定理、抽象化と実装(学士レベル)Coqtailは、Coqの証明アシスタントを使用して数学的証明のライブラリです。
関連プログラム
-
Triplets / Triple 無料
セ・ロジック・レ・トリプレット・ピタゴリシエン・ケ・ロン・ピュート・フォー・アベック・ウン・ノンブレ・アラント・ド・1 999999999。このソフトウェアは、1から9999999に行く数字で形成することができるすべてのピタゴラストリプルを探します。
-
FunnyRobot Platform 無料
FunnyRobotプロジェクトは、USB経由でプログラム可能な教育ロボットコントローラを設計します。ハードウェアとソフトウェアの両方が構成可能で拡張可能です。ユーザーは、C++ ライブラリを使用してプログラムをビルドし、リアルタイムのオペレーティング システムで実行できます。
-
Merriam-Webster s Unabridged 無料トライアル
メリアム・ウェブスターの第3回新国際辞典、Unabridged - アメリカで最も包括的な辞書。------------辞書の詳細:• 257,244以上のエントリーと700,000の定義• 単語の起源と100,000の引用を記述する143,000の語源&雄牛;1,100同義語の段落• 新しい単語と意味の特別更新されたアデンダセクション&ブル;拡張シソーラス。--------
-
Madagascar 無料
マダガスカルは、地球物理学的データ処理と再現可能な数値実験のためのソフトウェアパッケージです。パッケージの使命は、デジタル画像やデータ処理を行う研究者に便利な環境を提供することです。
-
Parable NKJV 無料
無料:ルー・ゴセット・ジュニアをジョンとしてフィーチャーしたジョンの福音全体(2時間14分)。いつでもあなたは、たとえNKJV旧約聖書のための完全なオーディオを購入することができますし、個別に本を購入することができます。たとえNKJVは、説得力のある、劇的なオーディオシアター形式で提示聖書の信頼できる新キングジェームズバージョン(NKJV)のスクリプト化されたドラマ化です。オーディオプロジェクトは、マイケル・ヨーク(ナレーター)、リチャード・ドレ
-
LibreEngineering 無料
LibreEngineering - 計測器、電気、機械、プロセスエンジニアリングの計算と設計プログラム、その他のツールのスイート。GPL3の下でライセンスされています。Qt ツールキットを使用して Python で書き込みます。
-
AVR Attiny26 Visual Programmer 無料
アセンブリを出力する Attiny26 マイクロコントローラ用のビジュアル GUI プログラマは、hexedecimal にアセンブルし、直感的なインターフェイス (Tekbots-OSU) を備えたハードウェアにアップロードします。
-
GRE Mnemonics Wordlist Lite 無料
-------------------このアプリを改善するために、この調査を完了してください。http://goo.gl/xwyyCX-------------------GRE、CAT、PSAT、サット、LSAT、GED、ESL、GMAT、ACT、MCAT、TOEFL、IELTS、PCAT、OATおよび多くの準備のための完璧なボキャブ構築アプリ。ニーモニック - 長期記憶を助ける学習技術です。統合プロセスの効率を高め
-
Asmaul Husna 無料
99の神の名または99のアッラーの名前は、イスラム教徒が神(アッラー)を見て、他の場所の中でクルアーンとスンナに記載されている神の名前です。
-
Doxygen filters 無料
これらのプログラミング言語用のDoxygenフィルタ:GNUのR、kx.comからのq、MathWorksのMatLab。これらのプログラムは、Flex++ を使用して C++ で実装されます。これらは、関数定義だけでなく、完全なインライン ソースを提供します。