blog/content/links/kirancodes-lean-replaced-ocaml.md

+++ title = "Why Lean 4 replaced OCaml as my Primary Language" authors = [ "Kiran Gopinathan" ] date = 2025-08-26T17:04:25-03:00 [extra] url = "https://kirancodes.me/posts/log-ocaml-to-lean.html" +++