Shilun-Allan-LitCSlib

Lean 4 Theoretical Computer Science Library
Sort by
  1. Git dependency.
    Found on Reservoir.

    PFRv4.25.0

    Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  2. Git dependency.
    Found on Reservoir.

    mathlib029db12

    The math library of Lean 4