Explore projects

M

courses / Jacobs / meta-inf

0

Updated Dec 13, 2024

0 0 0 0

Updated Dec 13, 2024
A

SMGloM / ai

The concepts from the AI lecture at MiKoMH/AI

0

Updated Dec 11, 2024

0 0 0 0

Updated Dec 11, 2024
S

Constantin Jucovschi / SMGloM

A Semantic Multilingual Glossary for Mathematics.

0

Updated Dec 16, 2013

0 0 0 0

Updated Dec 16, 2013
M

tps / meta-inf

Meta-information for the TPS library

0

Updated Mar 13, 2021

0 0 0 0

Updated Mar 13, 2021
C

courses / Bath / CM30073 / course

0

Updated Aug 16, 2024

0 0 0 0

Updated Aug 16, 2024
M

sTeX / Algebra / meta-inf

0

Updated Dec 23, 2024

0 0 0 0

Updated Dec 23, 2024
S

ODK / Singular

0

Updated Oct 18, 2020

0 0 0 0

Updated Oct 18, 2020
H

nlab / HOTTbook

0

Updated Oct 18, 2020

0 0 0 0

Updated Oct 18, 2020
I

Coq / io-list

0

Updated Mar 23, 2019

0 0 0 0

Updated Mar 23, 2019
T

dmueller / talks

0

Updated Aug 17, 2024

0 0 0 0

Updated Aug 17, 2024
R

sTeX / MathBase / Relations

0

Updated Dec 23, 2024

0 0 0 0

Updated Dec 23, 2024
P

courses / FAU / LBS / problems

The problems for the lecture Logic Based Language Processing at FAU

0

Updated Dec 12, 2024

0 1 0 0

Updated Dec 12, 2024
L

Teaching / LBS2223

Repository for the LBS lecture, winter semester 2022/2023

0

Updated Feb 07, 2023

0 0 0 0

Updated Feb 07, 2023
P

courses / FAU / AI / problems

Homework/Quiz problems for AI lectures

0

Updated Dec 17, 2024

0 1 0 7

Updated Dec 17, 2024
L

Coq / list-plus

0

Updated Mar 23, 2019

0 0 0 0

Updated Mar 23, 2019
C

Patrick Nicodemus / category-theory

0

Updated Oct 16, 2023

0 0 0 0

Updated Oct 16, 2023
L

Aldor / language

0

Updated Sep 05, 2023

0 0 0 0

Updated Sep 05, 2023
T

Tom Wiesing / test

0

Updated Jul 25, 2023

0 0 0 0

Updated Jul 25, 2023
A

SMGloM / alggeo

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
P

SMGloM / probability

0

Updated Dec 21, 2024

0 0 0 0

Updated Dec 21, 2024