1. 11
    F*: A Higher-Order Effectful Language Designed for Program Verification compsci fstar-lang.org
    sanxiyn avatar via sanxiyn 3 years ago | cached | 2 comments

  1.  

  2. 3
    flyingfisch avatar flyingfisch 3 years ago | link

    One of the hardest things to search for ever.

    1. 1
      sanxiyn avatar sanxiyn 3 years ago | link

      “fstar” seems to work reasonably well.