summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lean
Commit message (Expand)AuthorAge
* lean: 3.3.0 -> 3.4.1R. RyanTM2018-05-07
* lean: fixup nativeBuildInputs vs buildInputsWill Dietz2018-01-22
* lean: 3.2.0 -> 3.3.0Gabriel Ebner2017-09-15
* lean: 3.1.0 -> 3.2.0Gabriel Ebner2017-06-18
* lean: 3.0.0 -> 3.1.0Gabriel Ebner2017-02-26
* lean: 2017-01-14 -> 3.0.0Gabriel Ebner2017-01-20
* lean: 2017-01-06 -> 2017-01-14Gabriel Ebner2017-01-14
* lean: 2016-12-30 -> 2017-01-06Gabriel Ebner2017-01-06
* lean: 2016-12-08 -> 2016-12-30Gabriel Ebner2016-12-31
* lean: init at 2016-12-08Gabriel Ebner2016-12-08
* lean2: 2016-07-05 -> 2016-11-29Gabriel Ebner2016-12-08
* Remove redundant -DCMAKE_BUILD_TYPE=Release flagsAneesh Agrawal2016-10-01
* lean: 20160117 -> 2016-07-05Gabriel Ebner2016-07-27
* lean: add wrapper for linjaGabriel Ebner2016-01-17
* lean: 20150821 -> 20160117Gabriel Ebner2016-01-17
* nixpkgs: lean 20150328 -> 20150821Austin Seipp2015-08-21
* lean: fixed buildPascal Wittmann2015-05-16
* nixpkgs: add lean-20150328, a theorem prover.Austin Seipp2015-03-28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 11:12:21 +0000