VST icon indicating copy to clipboard operation
VST copied to clipboard

Published 20 hours ago • verified publisher icon PrincetonUniversity

Add a description of how to use withspacer in manual

Open lennartberinger opened this issue 2 years ago • 2 comments

lennartberinger avatar May 21 '22 20:05 lennartberinger

Can you give an example of a proof goal in which this documentation would be useful?

andrew-appel avatar Jul 01 '22 16:07 andrew-appel

In think it would help if the various arguments were explained a little, so that users know how to define an appropriate instantiation and can see more easily whether they need to wrap a predicate they have in mind in a withspacer.

lennartberinger avatar Jul 01 '22 21:07 lennartberinger