HN
New
Show
Ask
Jobs
Built with Solid
An Imperative Language for Verified Exact Real-Number Computation
(arxiv.org)
1 points | by
matt_d
10 hours ago ago
No comments yet.
No comments yet.