No results found

leanproject

GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
#computer-algebra-system #formalization #mathematics #sage
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibad0a80b

    The math library of Lean 4
  2. Git dependency.
    Found on Reservoir.

    mdgen1794832

    Tool to generate markdown files from lean files.