feat(L-S37): PhiPriorQuantCorrect β Coq formal proof of phi-prior quantizer#794
Open
gHashTag wants to merge 1 commit into
Open
feat(L-S37): PhiPriorQuantCorrect β Coq formal proof of phi-prior quantizer#794gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
Commits
Commits on May 14, 2026
- committed
Dmitrii Vasilev