← Back to context Comment by olaird25 3 days ago Nice. So is the js/lean interface using exact rationals? 1 comment olaird25 Reply permute 3 days ago Yes
Yes