Skip to content
View alanctprado's full-sized avatar
💭
stones dreaming of jackhammers
💭
stones dreaming of jackhammers
10 followers · 8 following
  • Belo Horizonte

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report alanctprado

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. pace2024 pace2024 Public

    C 2

  2. cvc5 cvc5 Public

    Forked from cvc5/cvc5

    cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

    SMT

  3. cdkl cdkl Public

    Kotlin

  4. advent-of-kotlin advent-of-kotlin Public

    Kotlin

  5. opb-lib opb-lib Public

    SMT