This GitLab instance reached the end of its service life. It won't be possible to create new users or projects.

Please read the deprecation notice for more information concerning the deprecation timeline

Visit migration.git.tu-berlin.de (internal network only) to import your old projects to the new GitLab platform 📥

Programming languages used in this repository

  •   Scala
    51.22 %
  •   Isabelle
    34.07 %
  •   TeX
    10.99 %
  •   HTML
    2.23 %
  •   CSS
    0.75 %
  •   JavaScript
    0.53 %
  •   Python
    0.16 %
  •   Shell
    0.05 %

Commit statistics for 1d1dfef99a11f8d49a117f8593d5ac9ca066d4fe Apr 18 - Feb 15

  • Total: 11 commits
  • Average per day: 0 commits
  • Authors: 2

Commits per day of month

Commits per weekday

Commits per day hour (UTC)