3 ms·
You might want to look in Lean 4 at some point too. A lot of work has gone into making it's theorem solving ergonomic and approachable for average programmers.
by adjav 3y ago
You might want to look in Lean 4 at some point too. A lot of work has gone into making it's theorem solving ergonomic and approachable for average programmers.
- toastal 3y agoWhy3 ‘extends’ OCaml with similar features as well
- lenocinor 3y agoMy personal anecdote is that I tried learning Lean 4 last year with a group of other smart and curious programmers, and after a couple of weeks of trying, we failed to make significant progress learning it and stopped. We had much better luck working with Coq instead.
- xigoi 3y agoI'm trying to learn Lean and like it, but it's terribly lacking documentation.
- lenocinor 3y agoThe lacking good docs was what stymied my group too.