Repository navigation

Optimize PLAcceleratedNesterovLean arithmetic proofs and imports - #763

Open

Vilin97 wants to merge 1 commit into

mainfrom

researcher/optimize-nesterov-resume-20261106

Open

Optimize PLAcceleratedNesterovLean arithmetic proofs and imports#763
Vilin97 wants to merge 1 commit into
mainfrom
researcher/optimize-nesterov-resume-20261106

Commits on Nov 6, 2026
- Optimize PLAcceleratedNesterovLean arithmetic proofs and imports
  Vilin97
  committed
  ace7b6b