Project-NaviOrdvecFormalization0.1.0

Lean 4 formalization of finite Bayes-threshold optimality for OrdVec overlap models.
#math
No README.md in repository.