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

• Posted 3 hours ago by RossBencina
• 2 points