ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard

Published 20 hours ago • verified publisher icon SSProve

Jasmin, Mathcomp2 and Coq.8.18.0

Open cmester0 opened this issue 1 year ago • 2 comments

cmester0 avatar Feb 10 '24 21:02 cmester0

Updating the Jasmin files seems a bit harder, than updating to mathcomp2 (and coq-8.18), as things have been moved around and renamed, and I do not have much knowledge about the Jasmin library.

cmester0 avatar Feb 16 '24 15:02 cmester0

Waiting for: https://github.com/jasmin-lang/jasmin/pull/560

spitters avatar Apr 03 '24 13:04 spitters