Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _…
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
formal-land
cli
free
Others in the same category, ranked by how often they are opened.
