Sollya: An environment and library for safe floating-point code development

2 points | by RossBencina 11 hours ago

1 comments