Software Development
Lean Proof Assistant
Helps developers formalize and verify mathematical proofs in Lean, ensuring correctness and trustworthiness.
- Publisher / source
- wanshuiyin/Auto-claude-code-research-in-sleep (found on skills.sh, an awesome list)
- Upstream record
- wanshuiyin/Auto-claude-code-research-in-sleep
- Version
- Version 3
- Published
- Publication review
- Approved for publication
- Content fingerprint
462e896dc108e909c073d6ce567508a282fcec376ac0b5ea524fc2082aa44efb