linear-logic
Implements Girard's linear logic for resource-aware computation, ensuring resources are used exactly once for safe concurrency.
Install this skill
or
linear-logic1 files
Comments
Sign in to leave a comment.
No comments yet. Be the first to comment!
GitHub Stars 106
Rate this skill
Categorydevelopment
UpdatedMay 21, 2026
majiayu000/claude-skill-registry