Project-NaviCdFormal0.2.0

Lean 4 + Mathlib formalization of the Creative Determinant framework — 15 theorems proved with zero sorry, CI-enforced via lake build --wfail
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.28.0

    The math library of Lean 4