Hacker News new | ask | show | jobs
by olaird25 6 days ago
Nice. So is the js/lean interface using exact rationals?
1 comments
permute 6 days ago
Yes
link