• Lemmesee@lemm.ee
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    Quite bizarre and annoying that the maintainers don’t explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README?

    • wick@lemm.ee
      link
      fedilink
      arrow-up
      1
      ·
      1 year ago

      Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.