occupation
Software Developers
description
Use when the user wants Codex to build or make sustained progress on an end-to-end formally verified compiler in Lean.
updated
paradigmxyz/solidus
SkillsMP has collected 1 skills from paradigmxyz/solidus. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 1
- GitHub stars
- 30
- GitHub forks
- 13
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.