Skip to content
View vinahradau's full-sized avatar

Block or report vinahradau

Report abuse

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

Report abuse

Popular repositories Loading

  1. finma finma Public

    Z/Alloy formal specification for client identifying data regulation for banks in Switzerland

    Alloy 3

  2. misc misc Public

    Alloy