Like iris!914 (merged), but only for the Empty typeclass which (being just a constant) is particularly prone to Coq TC instance "hallucination".
00:05:24
2 years ago
No artifacts found
