litex-lang 0.9.86-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
6
7
8
9
10
mod collect_monomials;
mod evaluate;
mod monomial;
mod objs_equal_by_rational_expression_simplification;
mod process_division_after_polynomial_simplification;

mod evaluate_div;

pub use evaluate::{mul_signed_decimal_str, normalize_decimal_number_string};
pub use objs_equal_by_rational_expression_simplification::objs_equal_by_rational_expression_evaluation;