Why Lean 4 replaced OCaml as my Primary Language

By Kiran Gopinathan Linked 2025-08-26 17:04:25

made by jutty with Zola • source code • privacy • acknowledgments
built 2026-05-20 03:30 UTC, 1779247831 non-leap seconds since the Unix Epoch