79424503

Date: 2025-02-09 06:47:59
Score: 2
Natty:
Report link

You can also configure typeclass resolution to see through definitions using Typeclasses Transparent foo

https://rocq-prover.org/doc/V8.20.1/refman/addendum/type-classes.html#typeclasses-transparent-typeclasses-opaque

Reasons:
  • Probably link only (1):
  • Low length (1):
  • Has code block (-0.5):
  • Low reputation (0.5):
Posted by: Matthieu Sozeau