Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/15.0/academic/eprover/ |
|
Contents of README:E is an automated theorem prover for first-order and equational logic. |
Name Last modified Size
Parent Directory - README 11-Mar-2022 06:34 71 eprover.SlackBuild 11-Mar-2022 06:34 3.4K eprover.info 11-Mar-2022 06:34 291 slack-desc 11-Mar-2022 06:34 731
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!