ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard
verified publisher icon SSProve

Jasmin, Mathcomp2 and Coq.8.18.0-8.20.0

Open 4ever2 opened this issue 11 months ago • 0 comments

#39 with added support for Coq 8.19 & 8.20

4ever2 avatar Jan 22 '25 16:01 4ever2