2 ms·I rather go with formal specifications, and proofs.by pjmlp 8mo agoI rather go with formal specifications, and proofs.