mathcomp-install

The purpose is to maintain instructions to install MathComp

• that can be executed linearly
• including Windows 10 & 11
• understandable with little guidance
• all in one place
• up-to-date
• in Japanese (片言注意! ^_^)

Here is the result:

• Coq/SSReflect/MathCompの設定

Additional information

Translation of the instructions for Windows 10 & 11 in English:

• org file
• html file

The html files are generated from org files using emacs:

• e.g., open install.org, press C-c C-e and then h h to generate install.html