Extraction of new symbols in each compilation unit #126

New Issue

aniva · 2024-11-25T15:21:55-08:00

aniva commented

2024-11-25 15:21:55 -08:00

This is mostly for extracting theorem statements.

aniva added this to the 0.2.21 milestone 2024-11-25 15:21:55 -08:00

aniva added the

labels 2024-11-25 15:21:55 -08:00

aniva self-assigned this 2024-11-25 15:21:55 -08:00

aniva added the

priority

medium

label 2024-11-25 15:22:06 -08:00

aniva modified the milestone from 0.2.21 to 0.2.22

2024-12-05 16:07:10 -08:00

aniva added a new dependency 2024-12-09 20:39:19 -08:00

#128 feat: Extract type error and new constants

aniva referenced this issue

2024-12-09 20:39:52 -08:00

feat: Extract type error and new constants #128

aniva commented

2024-12-11 01:26:00 -08:00

Done #128

aniva closed this issue

2024-12-11 01:26:00 -08:00

Sign in to join this conversation.

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Depends on

#128 feat: Extract type error and new constants

aniva/Pantograph

Reference: aniva/Pantograph#126