3 ms·
> The only way to get a satisfactory development experience seems to be to learn Lean. Or SPARK, if you want to stick to systems languages.
by Jtsummers 3mo ago
> The only way to get a satisfactory development experience seems to be to learn Lean.
Or SPARK, if you want to stick to systems languages.