OpenSuSE Leap 15.5 for s390x : / usr /share /doc /packages /coq /refman /addendum

• canonical-structures.html
• extended-pattern-matching.html
• extraction.html
• generalized-rewriting.html
• implicit-coercions.html
• micromega.html
• miscellaneous-extensions.html
• nsatz.html
• omega.html
• parallel-proof-processing.html
• program.html
• ring.html
• sprop.html
• type-classes.html
• universe-polymorphism.html

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Mar 9 13:42:55 2025