Library for rigorous verification of non-linear arithmetic - NASA - nasa |
https://github.com/nasa/Kodiak | ||
Size | 12.8M (12.7M (+56K)) | |
Commits | 55 (54 (+1)) | |
Update Stats | 1s ... 11s [Ø (last 10) 1s (1,1,1,1,1,1,1,1,2,1))] | |
Last Change | 2024-05-10 21:26:38 | |
Last Check | 2025-06-30 19:56:41 | |
Created | 2023-09-17 13:48:12 |
Operation
Verifying url ...
Mail to Andreas Kupries