Skip to content

add proofmode instances for le_upd

Ralf Jung requested to merge ralf/le-upd-proofmode into master

We have proofmode instances for le_upd_if because we use them to define our fupd. In Perennial we have our own fupd which I want to define using le_upd, so I'd like to have instances for that, too.

Merge request reports