cotcr Formalisation of a proof of soundness of corecursive type-class resolution Documentation is available at: https://frantisekfarka.github.io/cotcr/ Status