Skip to content
View aztek's full-sized avatar

Block or report aztek

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

Pinned Loading

  1. vprover/vampire vprover/vampire Public

    The Vampire Theorem Prover

    C++ 293 51

  2. scala-workflow scala-workflow Public

    Boilerplate-free syntax for computations with effects

    Scala 176 16

  3. awesome-self-reference awesome-self-reference Public

    A curated list of examples of self-reference in art, science, and technology

    262 8

  4. turing-complete-iceberg turing-complete-iceberg Public

    The "X is Turing-complete" Iceberg

    HTML 1

  5. atp atp Public

    Haskell interface to automated theorem provers

    Haskell 8

  6. tptp tptp Public

    Parser and pretty printer for the TPTP language

    Haskell 7 2