4 ms·
Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since they provide additional guarantees)
by pmarreck 3mo ago
Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since they provide additional guarantees)