Formalization of results regarding ordered semigroups.
Here is the blueprint and here is the documentation for the project. The blueprint contains natural language versions of what is proved and links to the corresponding formalization in the documentation.
The formalization follows the paper "On ordered semigroups" by N.G. Alimov.