It’s a PhD thesis but, at 225 pages, I’m using the book tag.
book
Catchy title, but the one doing the actual theorem proving is the external solver Liquid Haskell uses.
Catchy title, but the one doing the actual theorem proving is the external solver Liquid Haskell uses.