`FormalConjectures/Millennium/`

46 declarations, 23 contain sorry, 0 declared as axioms; 5 files

Files

BSD.lean 3 declarations
NavierStokes.lean 20 declarations
Poincare.lean 12 declarations
PvsNP.lean 7 declarations
RiemannHypothesis.lean 4 declarations