Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/8i0dnwaz7cz1kjj19mj5h19i0dawgvkm-coq-stdlib-8.14.1.drv | ||
powerpc-linux | /gnu/store/blbikgyw9qj5fyjlhy6b4lcx33lv75a7-coq-stdlib-8.14.1.drv | ||
powerpc64le-linux | /gnu/store/bhm6z4fljhxkv4mdnsnklxdr254kpzmv-coq-stdlib-8.14.1.drv | ||
mips64el-linux | /gnu/store/7zqr52cizwcw62dlizg0a7hwam23dwhy-coq-stdlib-8.14.1.drv | ||
i686-linux | /gnu/store/lc1dxy4yld0y1ccswjyfd49sl5b2qf3z-coq-stdlib-8.14.1.drv | ||
i586-gnu | /gnu/store/gv793d2mwyixffcrgd1vc2ysj7z98m2h-coq-stdlib-8.14.1.drv | ||
armhf-linux | /gnu/store/d4dic0dyfh95frs87x04xm1jnr6wi3w0-coq-stdlib-8.14.1.drv | ||
aarch64-linux | /gnu/store/ksngmzai9a80fgx5crzn2wd9gnjsx08i-coq-stdlib-8.14.1.drv |
Linter | Message | Location |
---|---|---|
patch-file-names Validate file names and availability of patches | file names of patches should start with the package name |