← all publishers

formal-land

@formal-land source repo

Report this profile Claim this profile

• 2 skills
• 0 followers
• 1 day ago last updated

1. ▌
   Rocq Simulate Author · formal-land

   Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
   0 installs
2. ▌
   Rocq Build Troubleshoot · formal-land

   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.
   0 installs