Skip to content
View lotzk's full-sized avatar
🦆
🦆
11 followers · 10 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report lotzk

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. s2ssolver/s2s s2ssolver/s2s Public

    An eager SMT solver for the theory of strings.

    Rust 1

  2. smt-str smt-str Public

    Utilities for working with SMT-LIB strings in Rust

    Rust

  3. formalsmt/isabelle_smt formalsmt/isabelle_smt Public

    SMT-LIB Theories in Isabelle/HOL

    Isabelle 1 1

  4. formalsmt/SMTmv formalsmt/SMTmv Public

    SMT Model Verification with Isabelle

    Rust