ImperialCollegeLondonLAGinLean

Questions related to Imperial College's Linear Algebra and Groups course running in November and December 2024.
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib7a71e52

    The math library of Lean 4