Menü
SkillsMP hat 2 Skills aus formal-land/rocq-of-rust gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/formal-land/rocq-of-rust.Es werden 2 von 2 gesammelten Skills angezeigt.
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
Quellsprache: Englisch
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.
Quellsprache: Englisch