Learning Mathematical Equivalence Classes

Getting Setup (One Time)

If you have not already, please install Conda on your machine. You can find the installation instructions here. For reference, the maintainers are using Anaconda, not Miniconda

Once you have Conda installed, you can activate the environment

conda env create -f environment.yml

If you update the environment, you can update the environment with

conda env update -f environment.yml --prune

Then, activate the environment with

source activate math_equiv_class

Finally, install the pip requirements with

pip install -r requirements.txt

Before Developing

Make sure to be in a Conda environment via running:

source activate math_equiv_class