5 Commits

Author	SHA1	Message	Date
Ben Siraphob	badf51221d	treewide: stdenv.lib -> lib	2021-01-16 17:58:11 +07:00
Michael Raskin	8dc61a6519	Update EKRHyper	2014-03-08 21:12:59 +04:00
Michael Raskin	4140dc2628	Updating EKRHuper	2013-11-25 10:59:35 +04:00
Michael Raskin	70f609acbf	Updating Ekrhyper	2013-10-20 21:02:37 +04:00
Michael Raskin	a453e49511	Adding E-KRHyper theorem prover	2013-05-23 14:41:12 +04:00