Skip to content
Snippets Groups Projects

Small typo in forall_inst

    • Closed Issue created by Lachnitt @Lachnitt

    image

    Should say "and 𝑥𝑖 and t𝑘𝑖 have the same sort" instead of "and 𝑥𝑖 and 𝑘𝑖 have the same sort". Should it really be xi and not xki though?

    Edited
    To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

    Child items ...

    • Activity

    Please register or sign in to reply