aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Give the possibility of extracting the source code as comments

Open sonmarcho opened this issue 1 year ago • 1 comments

This follows from https://github.com/AeneasVerif/charon/pull/327

sonmarcho avatar Aug 27 '24 08:08 sonmarcho