No results found

regensburg-itp-school-2023

Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibeec55af

    The math library of Lean 4