Enrico Horn 66130964c6 Convert mathlib.modf result to number

2021-07-22 22:29:09 +02:00

..

src

Convert mathlib.modf result to number

2021-07-22 22:29:09 +02:00

pom.xml

Cleanup Tests with JUnit5 and move to different modules

2021-07-11 23:13:57 +02:00