Skip to content

WIP: unfold typeclass opaque definitions in proof mode

Ralf Jung requested to merge force-unfold into master

Merge request reports