code2rocq/imp2rocq
Archived
Watch
3
0
Fork
You've already forked imp2rocq
 0
Code Issues 25 Pull requests Projects 2 Wiki Activity

When writing Imp code with contracts, I want to wait with proving the contracts until I've finished writing the Imp program. #25

Open
opened 2026-03-19 11:25:22 +01:00 by marfavi · 0 comments
marfavi commented 2026-03-19 11:25:22 +01:00
Owner
No description provided.
marfavi added this to the User stories project 2026-03-19 11:25:22 +01:00
Commenting is not possible because the repository is archived.
No Branch/Tag specified
Branches Tags
main
report
refactor-documents
parser
No results found.
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
User stories
Assignees
Clear assignees
No assignees
1 participant
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/imp2rocq#25
No description provided.