lamastex/mrs2 repository overview

MRS 2.0, a C++ class library for statistical set processing and computer-aided proofs in statistics. See https://github.com/lamastex/mrs2⁠

To use docker container see: https://github.com/lamastex/mrs2/tree/master/docker#to-use-mrs-20-docker-container⁠