Commit 2023-01-10 17:53 3edd6391
View on Github →feat: port Algebra.Order.Floor
(#1304)
This PR provided some of the first serious testing of linarith
and abel
, resulting in bugfixes #1358 and #1394.
feat: port Algebra.Order.Floor
(#1304)
This PR provided some of the first serious testing of linarith
and abel
, resulting in bugfixes #1358 and #1394.