Portable workflows for mathematical research, review, and collaboration in OpenMaths.
Work on mathematical problems and contribute results in the open-maths/OpenMaths repository. Use for understanding its problem format, locating research artifacts, preparing or reviewing attempts, and using Git or GitHub for OpenMaths collaboration; do not use for repository development or unrelated GitHub work.
