No results found

LeanInVienna

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.

    mathlib551dfed

    The math library of Lean 4