larsrh

Lars Hupel

Joined crates-io 6 years ago. Joined GitHub 13 years ago.

Member of GitHub orgs

INNOQ, fu-dietersheim, isabelle-prover, haskell-bayern, isaqb-org, PlayingWithProlog, complate, faucet-pipeline, ruestigraben, scala-munich, april-cools