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?