Projects · Explore · GitLab

Explore GitLab

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

D

sTeX / Documentation

0

Updated Mar 25, 2023

0 0 0 0

Updated Mar 25, 2023
T

MiKoMH / talks

Slides and notes for talks held by Michael Kohlhase

0

Updated Mar 25, 2023

0 0 0 0

Updated Mar 25, 2023
G

MiKoMH / GenCS

The slides and course notes of the course General Computer Science at Jacobs University.

0

Updated Mar 25, 2023

0 2 0 2

Updated Mar 25, 2023
L

MMT / LATIN2

Logic Atlas, Version 2

0

Updated Mar 21, 2023

0 0 0 0

Updated Mar 21, 2023
M

MiKoMH / meta-inf

The metadata for the MiKoMH project at MathHub.info

0

Updated Mar 20, 2023

0 0 0 0

Updated Mar 20, 2023
S

SvenWille / Sven Master
Other

0

Updated Jun 28, 2021

0 0 0 0

Updated Jun 28, 2021
N

alignments / namematching

Shabbar Raza's code for finding alignments based on matching names.

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
Other

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
F

FoMID / Foundation

0

Updated Mar 25, 2021

0 0 0 0

Updated Mar 25, 2021