Why Lean 4 replaced OCaml as my Primary Language

4 gopiandcode 1 8/14/2025, 8:59:36 PM kirancodes.me ↗

Comments (1)

wryoak · 2h ago

It’s funny how one dev’s pain point is another’s salve