lets-prove-leftpad icon indicating copy to clipboard operation
lets-prove-leftpad copied to clipboard
verified publisher icon hwayne

Coq is now Rocq

Open hwayne opened this issue 10 months ago • 0 comments

https://rocq-prover.org/about#Name

hwayne avatar Feb 24 '25 19:02 hwayne