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
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
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#.