coq - The formal proof system

Age	Commit message (Expand)	Author
2019-05-07	[nix-ci] Add coquelicot, improve flocq	Vincent Laporte
2019-03-18	[nix] Update reference to nixpkgs	Vincent Laporte
2019-03-18	[nix] Move nixpkgs.nix into the dev/ directory	Vincent Laporte
2019-03-18	[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”	Vincent Laporte
2019-03-18	[nix-ci] Share the reference to nixpkgs with default.nix	Vincent Laporte
2019-02-05	[Nix-CI] Add lambda-rust	Vincent Laporte
2019-02-05	[Nix-CI] Add Iris	Vincent Laporte
2019-01-24	[nix-CI] Split the build inputs	Vincent Laporte
2019-01-24	[Nix-ci] Add QuickChick	Vincent Laporte
2019-01-24	[Nix-ci] Fix Unicoq	Vincent Laporte
2019-01-24	[Nix-ci] Add formal-topology	Vincent Laporte
2018-11-12	Helpers for debugging external projects from CI	Vincent Laporte