Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in

Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • All
  • Most stars
  • Trending
  • Any
  • BibTeX
  • C
  • C++
  • CSS
  • Common Lisp
  • Coq
  • Emacs Lisp
  • Grammatical Framework
  • HTML
  • Java
  • JavaScript
  • Jupyter Notebook
  • Makefile
  • OCaml
  • PHP
  • Perl
  • PostScript
  • Prolog
  • Python
  • Scala
  • Shell
  • Smarty
  • Standard ML
  • TeX
  • XSLT
  • Sort by
  • Updated date
  • Last created
  • Name
  • Name, descending
  • Most stars
  • Oldest updated
  • Oldest created
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • L

    MMT / LATIN2

    Logic Atlas, Version 2

    0
    Updated Mar 21, 2023
    0 0 0 0
    Updated Mar 21, 2023
  • S

    SvenWille / Sven Master

    0
    Updated Jun 28, 2021
    0 0 0 0
    Updated Jun 28, 2021
  • E

    Michael Kohlhase / eyetracking-math

    a study

    0
    Updated Apr 16, 2021
    0 0 0 0
    Updated Apr 16, 2021
  • A

    ODK / ActiveComputationDemo

    0
    Updated Apr 16, 2021
    0 0 0 0
    Updated Apr 16, 2021
  • B

    Naomi Pentrel / bachelor-thesis-presentation

    0
    Updated Apr 16, 2021
    0 0 0 0
    Updated Apr 16, 2021
  • R

    Naomi Pentrel / RPresentation

    0
    Updated Apr 16, 2021
    0 0 0 0
    Updated Apr 16, 2021
  • P

    Naomi Pentrel / pythagoreantheorem

    1
    Updated Apr 16, 2021
    1 0 0 0
    Updated Apr 16, 2021
  • U

    ulo / ulo

    The upper library ontology for theorem prover libraries.

    0
    Updated Apr 16, 2021
    0 0 0 5
    Updated Apr 16, 2021
  • M

    Andra Lezza / MoviExplorer

    0
    Updated Apr 16, 2021
    0 0 0 0
    Updated Apr 16, 2021