|
|
|
|
|
|
by poly2it
2 days 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. |
|
|
Or SPARK, if you want to stick to systems languages.