| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | nixpkgs: lean 20150328 -> 20150821 | Austin Seipp | 2015-08-21 |
| * | lean: fixed build | Pascal Wittmann | 2015-05-16 |
| * | nixpkgs: add lean-20150328, a theorem prover. | Austin Seipp | 2015-03-28 |
| index : nixlib | |
| Alyssa's collection of Nix expressions | Alyssa Ross |
| summary refs log tree commit diff |
| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | nixpkgs: lean 20150328 -> 20150821 | Austin Seipp | 2015-08-21 |
| * | lean: fixed build | Pascal Wittmann | 2015-05-16 |
| * | nixpkgs: add lean-20150328, a theorem prover. | Austin Seipp | 2015-03-28 |