Writing a Verified Postfix Calculator in Ada/SPARK (by pyj) — discussion

#formalmethods #programming