summary refs log tree commit diff
path: root/pkgs/applications/science/logic/ekrhyper
Commit message (Expand)AuthorAge
* Update EKRHyperMichael Raskin2014-03-08
* Updating EKRHuperMichael Raskin2013-11-25
* Updating EkrhyperMichael Raskin2013-10-20
* Adding E-KRHyper theorem proverMichael Raskin2013-05-23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-30 16:40:38 +0000