Skip to content
View jskri's full-sized avatar

Block or report jskri

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. agda-lecture-notes agda-lecture-notes Public

    Forked from jespercockx/agda-lecture-notes

    Agda lecture notes for the Functional Programming course at TU Delft

    TeX

  2. certainty-by-construction certainty-by-construction Public

    Forked from isovector/certainty-by-construction

    Source material for Certainty by Construction

    TeX

  3. settings-sync settings-sync Public

    TLA

  4. controlling-cars-on-a-bridge controlling-cars-on-a-bridge Public

    TLA

  5. lets-prove-leftpad lets-prove-leftpad Public

    Forked from hwayne/lets-prove-leftpad

    Proving leftpad correct two-dozen different ways

    SystemVerilog

  6. tla-tutorial tla-tutorial Public