Repository navigation
feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3) - #453
Merged
Merged
Commits
Commits on Oct 27, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
fix(corpus,lexicon): adjacent Isabelle propositions, hyphenated corpus keys, honest identity message
committed
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?v=4&size=32){kind=avatar}