Skip to content

fix(clone): proof * [-tag] should not drop untagged axioms - #1098

Open
namasikanam wants to merge 1 commit into
mainfrom
fix/clone-proofstar-tags
Open

fix(clone): proof * [-tag] should not drop untagged axioms#1098
namasikanam wants to merge 1 commit into
mainfrom
fix/clone-proofstar-tags

fix(clone): proof * [tag] must not drop untagged axioms

70586cc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-commit-count
succeeded Aug 24, 2026 in 4s