HelloWorld

This Library contains various paradigmatic "Hello World" examples for MathHub content.

This library comes with the MathHub docker container to give users some initial material to play with. .

Responsible: kohlhase@kwarc.info

  • Archives:
  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • Size: K