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

When I am looking at my Imp file(s), I want to be able to glance at the contracts to see whether the proof(s) have been completed or not. #23

Open
opened 2026-03-19 11:23:26 +01:00 by marfavi · 0 comments
marfavi commented 2026-03-19 11:23:26 +01:00
Owner

This allows me to quickly see the status of my proofs without jumping over to proof-land (Rocq file).

This allows me to quickly see the status of my proofs without jumping over to proof-land (Rocq file).
marfavi added this to the User stories project 2026-03-19 11:23:26 +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#23
No description provided.