# How to install analytica into mathematica?

I have come upon the following automated theorem prover made in mathematica, called Analytica. https://github.com/langit/analytica

I'm not exactly sure how to use it correctly. I tried setting analytica-master as the directory and running index.all, but it gives me a constant stream of errors. How can I install and use this package correctly?

So i tried it and at least for MMA11 there are bugs.

<<index.all

<<prover.M;