# Contributing to Hochster

Thank you for your interest in contributing to Hochster! We welcome contributions from the
community and appreciate your efforts to improve the project. Please follow the guidelines below
to ensure a smooth contribution process.

In this repository, we aim to formalise Hochster's thesis "Prime Ideal Structure in Commutative Rings".