toplogo
Sign In
insight - Intuitionistische multiplikative additive lineare Logik (IMALL) mit Sup-Verknüpfung