platform icon indicating copy to clipboard operation
platform copied to clipboard
verified publisher icon coq

Add rocq-lean-import to the platform

Open JasonGross opened this issue 1 month ago • 2 comments

Could https://github.com/rocq-community/rocq-lean-import be added to the Platform?

JasonGross avatar Nov 21 '25 21:11 JasonGross