coq-serapi icon indicating copy to clipboard operation
coq-serapi copied to clipboard

Published 20 hours ago • verified publisher icon ejgallego

[serapi] Fix Show Proof to send the list of instantiated terms

Open ejgallego opened this issue 2 years ago • 0 comments

This could be useful to some users, as opposed to the previous implementation which was never finished.

Closes #270

ejgallego avatar Jul 05 '22 21:07 ejgallego