2 ms·

Proof-Oriented Programming in F*

• mbrodersen 5y ago
  It turns out that you might already be using software containing proven correct software without realizing it (Microsoft Azure, Linux kernel, Firefox, Wireguard, Fintech, ...)