Lean Internals

Stream: new members

[Lucas Teixeira]

Where can I find out more about how Lean works, it's internals, and the design choices behind it's implementation?

[Johan Commelin]

Have you seen #tpil?

[Lucas Teixeira]

I've got a couple chapters left

[Lucas Teixeira]

I'm particularly interested in the history of theorem provers and how LEAN stands in relation to others