Welcome to SSR!

This server runs the regression tests to the Mathematical Components/SSReflect library.
Links:

• Daily updated documentation of the library and progress chart for the formalization of the Odd Order theorem
• Compilation trend of different Coq branches
• Jenkins (Hudson) web interface
• Time annotated sources for the trunk branch