> Library for rigurous verification of non-linear arithmetic
Very rigurous
all the elephants in the room are pink
Yes, that's right, let's mock people for typos in code that was never really intended for public consumption. I'm sure that will make them want to release more of it in the future.
Many projects at NASA are just starting to ramp up open-source efforts, and it can be very challenging to publicly release aerospace toolsets. Give it some time to build up momentum.