feat(L-S36): MultiPrecLucasCorrect Coq proof β adaptive-depth Lucas pipeline#792
Open
gHashTag wants to merge 2 commits into
Open
feat(L-S36): MultiPrecLucasCorrect Coq proof β adaptive-depth Lucas pipeline#792gHashTag wants to merge 2 commits into
gHashTag wants to merge 2 commits into
Commits
Commits on May 14, 2026
- committed
Dmitrii Vasilev - committedDmitrii Vasilev