Comment by pmarreck

6 days ago

Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since they provide additional guarantees)

0 comments