Docker images related to DiscreteZOO

Currently, this repository contains a Dockerfile for one Docker image:

• discretezoo-sage: an image containing Sage and the DiscreteZOO package, suitable for running on Binder