agentbible 0.1.0

Language-agnostic correctness checker for scientific numerical code
Documentation
1
2
3
4
5
6
7
8
9
10
11
mod finite_float;
mod positive_definite;
mod positive_float;
mod probability;
mod unitary_matrix;

pub use finite_float::FiniteFloat;
pub use positive_definite::PositiveDefiniteMatrix;
pub use positive_float::PositiveFloat;
pub use probability::Probability;
pub use unitary_matrix::UnitaryMatrix;