Skip to content
View Kukovec's full-sized avatar
12 followers · 0 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Block or report Kukovec

Report abuse

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

Report abuse

Pinned Loading

  1. apalache-mc/apalache apalache-mc/apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    Scala 527 47