Skip to content

Fix unlabeled proof IDs colliding across documents - #168

Open
BetterAndBetterII wants to merge 1 commit into
executablebooks:mainfrom
BetterAndBetterII:fix/unique-auto-labels
Open

Fix unlabeled proof IDs colliding across documents#168
BetterAndBetterII wants to merge 1 commit into
executablebooks:mainfrom
BetterAndBetterII:fix/unique-auto-labels

Fix auto labels colliding across documents

188a31f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs