From: Ralf Jung Date: Wed, 25 Jul 2018 13:21:40 +0000 (+0200) Subject: add Coq typeclass index problem draft X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/5f79366c662bdd8c66d8ad1e207eba7dfca81d37?ds=sidebyside;hp=5f79366c662bdd8c66d8ad1e207eba7dfca81d37 add Coq typeclass index problem draft ---