person
Implemented a Lean kernel in Lean called 'Lean for Lean' and proved it consistent with Lean's semantics.
No current published clusters are mapped here yet.