|
|
|
|
|
|
by anonzzzies
513 days ago
|
|
|
It is a great time to work with proofs and formal verification; so many nice tools with different goals like idris, agra, lean, coq, tla+, etc, but also unit and system tests, however generally clients don't pay for that; they pay for sloppy and buggy. |
|
|