rssn 0.2.9

A comprehensive scientific computing library for Rust, aiming for feature parity with NumPy and SymPy.
Documentation
1
2
3
4
5
6
7
8
//! This is the kani verification module for rssn.
//! It contains all the verification code for rssn.
//!
//! Some dependencies are disabled when running kani.
//! This is because kani does not support some dependencies.

/// The kani verification module for symbolic/core
pub mod symbolic_core;