occupation
Software Developers
description
Lean 4 reference-counting and linearity: how to keep hot data structures unshared, diagnose copies, and avoid codegen traps
updated
leanprover/con-leche
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 135
- GitHub forks
- 10
Install with an AI assistant
Copy this prompt into the AI assistant you're using.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/con-leche.Loading the repository README…
Skills in this repository
1 occupation category · 100% classified
Showing 1 of 1 collected skill.
skill
occupation
description
updated
Showing 1 of 1 collected skill.