1. 8
    Dafny: A language and program verifier for functional correctness compilers research.microsoft.com
    pushcx avatar via pushcx 2 years ago | cached | 4 comments

  1.  

  2. 2
    kel avatar kel 2 years ago | link

    The logo should be a daffy duck morphing into scooby doo daphne

    1. 2
      flyingfisch avatar flyingfisch 2 years ago | link

      Is this really their logo? I have a sneaking suspicion MS Paint was involved…

      1. 2
        stip avatar stip 2 years ago | link

        Finally, something to give the lucene logo a run for its money.

        1. 1
          flyingfisch avatar flyingfisch 2 years ago | link

          The lucene logo looks pretty sharp after seeing Dafny’s.