Getting closer to the event (less than 1 week now!) so figured I would ask this question

Ive been mostly just doing some problems from other years to get used to solving things in rust

    • soulsource@discuss.tchncs.de
      2·
      1 year ago

      That’s the copyright of the book though, not of Lean itself. Lean itself was started at Microsoft too, but is its own open source research project now, with contributions from multiple companies and universities: https://lean-lang.org/about/

      But, yeah. Lean can’t deny that it was influenced by Microsoft’s F#.