tutorial_material

Tutorial materials

Scripts associated to tutorials for mathcomp.

It contains

• AnIntroductionToSmallScaleReflectionInCoq associated to An Introduction To Small Scale Reflection In Coq
• AnSsreflectTutorial associated to An Ssreflect Tutorial
• SummerSchoolSophia associated to a 5-day School on Mathematical Components at Sophia-Antipolis

Meta

• Author(s):
  • Laurent Théry
• License: MIT License
• Additional dependencies:
  • MathComp ssreflect 2.5 or later
• Rocq/Coq namespace: tutorial_material
• Related publication(s): none

Building and installation instructions