occupation
Software Developers
description
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
updated
formal-land/rocq-of-rust
SkillsMP has collected 2 skills from formal-land/rocq-of-rust. Open a skill to review its source and details.
- Latest recorded source activity
- SkillsMP catalog refreshed
- skills collected
- 2
- GitHub stars
- 1,164
- GitHub forks
- 43
Skills in this repository
1 occupation categories · 100% classified
Showing 2 of 2 collected skills.
skill
occupation
description
updated
occupation
Software Developers
description
Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.
updated
Showing 2 of 2 collected skills.