Menu
O SkillsMP coletou 2 skills de formal-land/rocq-of-rust. Abra uma skill para revisar a origem e os detalhes.
Mostrando 2 de 2 skills coletadas.
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
Idioma do texto original: inglês
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.
Idioma do texto original: inglês