Intro to the kernel?

Stream: lean4

[nrs]

Is there an introduction to the Lean 4 kernel somewhere? Or maybe a guide to the lean4 repo on github? Maybe something like the GHC guide?

[nrs]

Seems like Ullrich's thesis is good intro

[Sebastian Ullrich]

You may also be interested in https://ammkrn.github.io/type_checking_in_lean4/

[nrs]

Sebastian Ullrich said:

You may also be interested in https://ammkrn.github.io/type_checking_in_lean4/

Thanks a lot for the link, and thanks for the extremely useful thesis!!