5 ms·
For me, I wish the systems languages I am interested in could couple with legible verification systems, but alas, the world of formal methods seems disjoint. Th
by poly2it 2mo ago
For me, I wish the systems languages I am interested in could couple with legible verification systems, but alas, the world of formal methods seems disjoint. The only way to get a satisfactory development experience seems to be to learn Lean.
- Jtsummers 2mo 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.