team-worthwhile/worthwhile — comment on commit 1b6305dbcd885e1725ac8064b2ac87d63e9abc89
File:  line 0
By jspam:

Ohne das Programm ausgeführt zu haben: Kann das überhaupt funktionieren? Die Funktion gauss_sum hat weder Pre- noch Postconditions, d.h. der Prover kann damit nichts anfangen.