Um, the first one doesn't seem to have any code in it ... or documentation ... or anything ... https://github.com/nasa/Kodiak
> Library for rigurous verification of non-linear arithmetic Very rigurous
Re: NASA code from years of projects
#11Yes, 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.