Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add merlin in the dependencies of nix-shell only. | Théo Zimmermann | 2017-11-30 |
* | Introduce default.nix for Nix users. | Théo Zimmermann | 2017-11-09 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add merlin in the dependencies of nix-shell only. | Théo Zimmermann | 2017-11-30 |
* | Introduce default.nix for Nix users. | Théo Zimmermann | 2017-11-09 |