Hi, I created a package for The Equational Theorem Prover "E" and I'm looking for a sponsor that would help me to get it into the Debian repository.
My package can be found at: https://petr.pudlak.name/deb/ The original site: <http://www.eprover.org/> (Detailed description can be found there.) License: GPL2 E is in my opinion one of the best automated theorem provers (in first-order logic with equality) and I've been using it very successfully in my research for a long time. Therefore I want to help this way to make it easier for other people to install and use it. [Or, instead of looking for sponsor, should I rather join DebianScience?] For curious: see also "CASC - The CADE ATP System Competition" for comparison of theorem provers - E is among the best ones: http://www.cs.miami.edu/~tptp/CASC/J4/ Thanks for help. Petr Pudlak -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
