top
new
show
ask
jobs
about

Why Lean 4 replaced OCaml as my Primary Language

kirancodes.me

7 points by pabs3 a day ago

adolfont 8 hours ago

Well, Lean is beautiful.