nasa / Kodiak

Library for rigorous verification of non-linear arithmetic
106Updated 5 months ago

Related projects

Alternatives and complementary repositories for Kodiak