proof-ninja / mathcomp-install

Coq/SSReflect/MathComp installation instructions in Japanese

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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:

Additional information

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

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

About

Coq/SSReflect/MathComp installation instructions in Japanese