AISE-Proj-B: Bachelorprojekt KI-Systementwicklung; Isabelle for the working logician
AISE-SemSC-B: Bachelorseminar Smart City