pitmonticoneLeanInVienna

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlib30b9d3c

    The math library of Lean 4