occupation
Software Developers
description
Generate an RFC 2119-conformant specification document and a compiling Lean 4 formalization from documentation URLs or file paths.
updated
NyxFoundation/docs2formalspec
SkillsMP has collected 1 skills from NyxFoundation/docs2formalspec. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 18
- GitHub forks
- 0
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.