Skip to content

feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3) - #453

Merged
hyperpolymath merged 17 commits into
mainfrom
claude/zen-brahmagupta-opqqle
Oct 27, 2026
Merged

feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)#453
hyperpolymath merged 17 commits into
mainfrom
claude/zen-brahmagupta-opqqle

fix(corpus,lexicon): adjacent Isabelle propositions, hyphenated corpu…

428a726
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar