aniva/Pantograph

Fork 0

Articulation of Finished Proof #138

New issue

Closed

opened 2024-12-08 16:25:02 -08:00 by aniva · 0 comments

aniva commented

2024-12-08 16:25:02 -08:00

Owner

We can just articulate the proof expression for now.

aniva added this to the v0.3 milestone

2024-12-08 16:25:02 -08:00

aniva added the

labels

2024-12-08 16:25:02 -08:00

aniva self-assigned this

2024-12-08 16:25:02 -08:00

aniva changed title from ~~Directly pretty-print finished goals to Lean text~~ to Articulation of Finished Proof

2024-12-09 09:23:59 -08:00

aniva referenced this issue from a pull request that will close it,

2024-12-10 14:15:55 -08:00

feat: Print value of arbitrary mvar and goals in goal state #141

aniva closed this issue

2024-12-11 16:52:21 -08:00

No labels

No milestone

No project

No assignees

1 participant

Notifications

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: aniva/Pantograph#138

No description provided.

Rows
Columns