2 ms·
Long-long time ago, at a Munich University, I remember Prof Schwichtenberg, who worked on software extraction from from mathematical proofs (in Scheme). The id
by idiocrat 4y ago
Long-long time ago, at a Munich University, I remember Prof Schwichtenberg, who worked on software extraction from from mathematical proofs (in Scheme).
The idea is to prove that the software works.
- yababa_y 4y agounfortunately that is not what the dawn methodology is about, and this o’dowd guy seems full of it, and way into hierarchy.