1. 9

It’s a PhD thesis but, at 225 pages, I’m using the book tag.

  1. 2

    Catchy title, but the one doing the actual theorem proving is the external solver Liquid Haskell uses.