NiOHar

Pinned Repositories

MolSim
Bachelor project on molecular dynamics at TU Munich (IN0012) based on TUM-I5/MolSim.
Language:C++0 0 1020
Isabelle-Set-Datatypes
Soft types for Isabelle - bringing types to the world of set-theory.
Language:Isabelle00
psv-transport
Language:Isabelle0 2 00
TUMbot
Language:Python0 0 00
owo
something something owo
Language:Python6 1 196
tumbot
An excellent Discord bot.
Language:Python23 4 1218

NiOHar's Repositories

NiOHar/Isabelle-Set-Datatypes
Soft types for Isabelle - bringing types to the world of set-theory.
Language:Isabelle00
NiOHar/psv-transport
Language:Isabelle0 2 00
NiOHar/TUMbot
Language:Python0 0 00