new | ask | show | jobs
olaird25 2 days ago  [ - ]

Nice. So is the js/lean interface using exact rationals?

permute 2 days ago  [ - ]

Yes