Explore projects

M

MiKoMH / meta-inf

The metadata for the MiKoMH project at MathHub.info

0

Updated Sep 28, 2023

0 0 0 0

Updated Sep 28, 2023
T

Michael Kohlhase / talks

0

Updated Sep 28, 2023

0 0 0 0

Updated Sep 28, 2023
G

MiKoMH / GenCS

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

0

Updated Sep 28, 2023

0 2 0 3

Updated Sep 28, 2023
L

MMT / LATIN2

Logic Atlas, Version 2

0

Updated Sep 27, 2023

0 0 0 1

Updated Sep 27, 2023
O

Michael Kohlhase / oldtalks

0

Updated Sep 26, 2023

0 0 0 0

Updated Sep 26, 2023
D

sTeX / Documentation

1

Updated Sep 22, 2023

1 0 0 0

Updated Sep 22, 2023
T

MiKoMH / talks

Slides and notes for talks held by Michael Kohlhase

0

Updated Sep 19, 2023

0 0 0 0

Updated Sep 19, 2023
M

Talks / meta-inf

0

Updated Sep 03, 2023

0 0 0 0

Updated Sep 03, 2023
M

courses / meta-inf

0

Updated Aug 17, 2023

0 0 0 0

Updated Aug 17, 2023
M

Michael Kohlhase / meta-inf

The Metadata for the MMATh formalizations and active documents.

0

Updated May 03, 2023

0 0 0 0

Updated May 03, 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
Creative Commons Attribution Share Alike 3.0 Germany

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