Skip to content
View erdmannc's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report erdmannc

Report abuse

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

Report abuse

Popular repositories Loading

  1. prusti-dev prusti-dev Public

    Forked from viperproject/prusti-dev

    A static verifier for Rust, based on the Viper verification infrastructure.

    Rust