3 ms·“The Senate Committee on Formal Methods Published a Coq Proof of Budgets Safety”2 points by andrewtable 9y ago