Skip to content

Commit

Permalink
Fix capitalization
Browse files Browse the repository at this point in the history
  • Loading branch information
@ericluap
ericluap committed Aug 22, 2024
1 parent b5c4e7a commit 6526b83
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@ Formalization of results regarding ordered semigroups.
[Here is the blueprint](https://ericluap.github.io/OrderedSemigroups/blueprint/) and [here is the documentation](https://ericluap.github.io/OrderedSemigroups/docs/) 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.
The formalization follows the paper "On ordered semigroups" by N.G. Alimov.

0 comments on commit 6526b83

Please sign in to comment.