- Coq … INRIAが開発した証明支援系。 http://coq.inria.fr/
- ssreflect … INRIAとMicrosoft Researchが開発した代数の証明群および、そのために作られたCoqの拡張文法。 http://www.msr-inria.inria.fr/Projects/math-components
- CoqTop … CoqのREPL。ちょっとした照明を書くときには使えるかもしれないが開発するのにはほぼ使えない。後述するIDEを使うこと。
// Written in the D programming language. | |
/** | |
* High peformance downloader | |
* | |
* Implemented according to <a href="http://yusukebe.com/archives/20120229/072808.html">this implementation</a>. | |
* | |
* Example: | |
* ----- | |
* dmd -L-lcurl -run downloader.d |
slow 遅い | |
fast 速い | |
above より上に | |
below より下に | |
absolute 絶対的な | |
relative 相対的な | |
abstract 抽象的な |