| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-01 | [default.nix] Update the reference to nixpkgs; make it the default | Vincent Laporte |
| 2018-07-05 | [pkg:nix] Stop using lib.inNixShell. | Théo Zimmermann |
| 2018-07-03 | Add a shell.nix that is not pinned to satisfy some developers' preference. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |