No results found

glimpseOfLean

An introduction to theorem proving in Lean for the impatient.
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib4d4bfc7

    The math library of Lean 4