add-dependency
Facilitates adding dependencies to Lean projects by updating the lakefile with tier validation and version management.
Install this skill
or
add-dependency1 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!