Popular repositories Loading

1. tinker tinker Public

   Graph based proof strategy language

   Standard ML 6

2. tacny tacny Public

   Tactics for the Dafny program verifier

   C# 4 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