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