Blogs / Personal blogs

I’m Sebastian, a Programming Languages researcher and engineer. Since 2015, I have been a core contributor to the development of the Lean programming language and theorem prover . After finishing my PhD on the design of the current version of Lean, Lean 4, in 2023, I co-founded the Lean Focused Research Organization…

Popular posts

1

Total points

153

HN comments

26

Rank

#15,721 personal

Visit kha.github.io → RSS feedOn Hacker News Jul 2016 – Jul 2016

Software Engineering 1Programming Languages 1