3 ms·
It’s far easier for Lean because the human has to read very little compared to generating whole programs.
by threatofrain 9mo ago
It’s far easier for Lean because the human has to read very little compared to generating whole programs.
loading thread…