Skip to content

More documentation of `done` in proof mode docs

Robbert Krebbers requested to merge robbert/done into master

I had various people that asked where done comes from, so this MR makes that clear and adds a link to std++.

I also expanded the text a bit.

Merge request reports