skill-lean-implementation

Name: skill-lean-implementation
Author: benbrastmckie

Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.

maintainer

benbrastmckie

अपडेट किया गया 3/13/2026

स्टार

438

फोर्क

466

quick start

Installation and usage

Implement Lean 4 proofs and definitions using lean-lsp tools. Invoke for Lean-language implementation tasks.

इंस्टॉलेशन

$ install --globalskills.sh

उपयोग

इंस्टॉल करने के बाद, आप टर्मिनल में यह कमांड चलाकर इस स्किल का उपयोग कर सकते हैं:

skills use skill-lean-implementation