Skip to main content

collimator

Provides a guide for using the Collimator optics library in Lean 4, enabling type-safe access to nested data structures.

Install this skill

or
collimator1 files

Comments

Sign in to leave a comment.

No comments yet. Be the first to comment!
Installation guide →
GitHub Stars 106
Rate this skill
Categorydevelopment
UpdatedMay 21, 2026
majiayu000/claude-skill-registry