tpt-certus
Pure-Rust, formally verified 3D spatial library suite with two-layer (QF_LRA ideal + bounded f64 realization) soundness.
0 stars0 forks0 watchers
No README available for this repository.
View on GitHubPure-Rust, formally verified 3D spatial library suite with two-layer (QF_LRA ideal + bounded f64 realization) soundness.
No README available for this repository.
View on GitHub