Second project should be a Library for rigorous verification of non-linear arithmetic, but was empty, save for a readme and license: https://github.com/nasa/Kod

Second project should be a Library for rigorous verification of non-linear arithmetic, but was empty, save for a readme and license: https://github.com/nasa/Kodiak https://github.com/nasa/Kodiak Or, is that a punny statement about non-linear arithmetic?