Skip to content
View ggrov's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro

Organizations

@Quantomatic
Block or Report

Block or report ggrov

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

Popular repositories

  1. tinker tinker Public

    Graph based proof strategy language

    Standard ML 6

  2. tacny tacny Public

    Tactics for the Dafny program verifier

    C# 3 2

  3. shorty shorty Public

    The Shorty tool for Dafny which attempts to shorten proof by removing unused annotations

    C# 1

  4. dafny dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# 1

  5. LNN LNN Public

    Forked from IBM/LNN

    A `Neural = Symbolic` framework for sound and complete weighted real-value logic

    Python