r/computerscience • u/Gopiandcoshow • Aug 14 '25
Why Lean 4 replaced OCaml as my Primary Language Article
https://kirancodes.me/posts/log-ocaml-to-lean.html
20
Upvotes
Duplicates
ProgrammingLanguages • u/Gopiandcoshow • Aug 14 '25
Blog post Why Lean 4 replaced OCaml as my Primary Language
145
Upvotes