#import "@preview/grape-suite:1.0.0": slides
#import slides: *

#import "/src/packages/inference.typ": *

#let slides = slides.with(
    series: "Logik-Tutorium",
    author: [<NAME>],
    outline-title-text: [Ablauf],

    box-example-title: [Beispiel],
    box-hint-title: [Hinweis],
    box-notice-title: [Achtung],
    box-solution-title: [Lösung],
    box-task-title: [Aufgabe],
)