adding lean to learnxinyminutes.com

Stream: general

[Adam Nemecek]

it might be a good idea to add an entry for lean to https://learnxinyminutes.com. i'm in the process of putting something together as i'm learning lean but someone might be more suitable for the task.

[Kevin Buzzard]

You could port https://agentultra.github.io/lean-for-hackers/ to Lean 4. I don't know who wrote that but I think they posted here about it so it should be possible to find them.

[Adam Nemecek]

that is a decent start. i think that i tend to get tripped up a lot on dealing with generics so i would like to elaborate on that

[Johan Commelin]

doesnt agentultra already have a lean-4-hackers?

[Matthew Ballard]

https://agentultra.github.io/lean-4-hackers/

[Adam Nemecek]

that is not bad but part of the reason why it might be a good idea to put it on learnxinyminutes is the exposure