Pinned Repositories
siemens-ad-haskell-training-2022
Playground setup for the Haskell part of a training held for Siemens employees
concat
Compiling to Categories
CoronaApp
bob2015
IsabelleGames
Playing around with Isabelle/HOL.
bobkonf2023-ihp-tutorial
isabelle-ws-2023
Isabelle/HOL workshop -- Software Architecture Summit 2023
sowilo's Repositories
sowilo/bobkonf2023-ihp-tutorial
sowilo/isabelle-ws-2023
Isabelle/HOL workshop -- Software Architecture Summit 2023