Hiper is available here from the CMU AI Repository.
Hiper is distributed free of charge.
Application Theorem Provers
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively