3 commits

Author	SHA1	Message	Date
Austin Seipp	1239465314	nixpkgs: lean 20150328 -> 20150821 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2015-08-21 13:57:16 -05:00
Pascal Wittmann	c944422863	lean: fixed build	2015-05-16 12:12:58 +02:00
Austin Seipp	a6813ca62d	nixpkgs: add lean-20150328, a theorem prover. ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2015-03-28 01:47:39 -05:00