3 ms·

One guy did Ironsides DNS in SPARK Ada which has stronger proofs.

• xvilka 1y ago
  Nothing against Ada, it's a good language. The only problem would be finding contributors in that case.