refinery (hackage): Please see the README on GitHub at https://github.com/githubuser/refinery#readme
Keywords: bsd3|language|library|metaprogramming|proof-automation|proof-refinement