occupation
Software Developers
description
Use when writing release notes
updated
leanprover-community/lean-update
SkillsMP has collected 1 skills from leanprover-community/lean-update. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 7
- GitHub forks
- 7
Skills in this repository
1 occupation categories · 100% classified
Showing 1 of 1 collected skills.
skill
occupation
description
updated
Showing 1 of 1 collected skills.