Skip to content

Coq/SSReflect/MathComp installation instructions in Japanese

Notifications You must be signed in to change notification settings

affeldt-aist/mathcomp-install

Repository files navigation

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •