-
Heiko Becker authored
Prove error for multiplication, still needs testing wether computed bound is low enough for actual validation
706c08f3
Prove error for multiplication, still needs testing wether computed bound is low enough for actual validation