Index of /slackbuilds/14.2/academic/eprover

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] README 2019-02-22 19:31 71 [   ] eprover.SlackBuild 2020-09-04 20:31 3.1K [   ] eprover.info 2020-09-04 20:31 291 [   ] slack-desc 2019-02-22 19:31 731