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

Commits

  1. Commits on Sep 1, 2026