Skip to content
View quicquid's full-sized avatar
18 followers · 15 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2
Block or Report

Block or report quicquid

Report abuse

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

Report abuse

Pinned Loading

  1. tlaplus/tlaplus tlaplus/tlaplus Public

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java 2.3k 192

  2. gapt/gapt gapt/gapt Public

    GAPT: General Architecture for Proof Theory

    Scala 92 18

  3. vprover/vampire vprover/vampire Public

    The Vampire Theorem Prover

    C++ 275 49