The Coq mailing list

[Abhishek Anand <abhishek.anand.iitg AT gmail.com>]

Are there any examples of using Ring, SemiRing and Ordered SemiRings from MathClasses?

The CoRN library depends on it. So you can import files from the CoRN library and then use the Print Instances query.

Using the query "Print Instances MathClasses.interfaces.abstract_algebra.Ring", I found many uses, including the following :

https://github.com/c-corn/corn/blob/master/reals/fast/CRArith.v#L692

Other queries that might be useful for you are:  Locate, Print, Search, SearchAbout, SearchPattern