litex-lang 0.9.82-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// Built-in verification for non-equational atomic facts, split by topic.

mod abs_order_builtin;
mod equality_dispatch;
mod equality_function;
mod equality_numeric;
mod equality_structural;
mod in_fact_builtin;
mod non_equational_dispatch;
mod not_equal_builtin;
mod number_compare;
mod number_compare_div_elimination;
mod order_algebra_builtin;
mod order_normalize;
mod set_relation_duality;
mod type_predicates_builtin;

pub(crate) use number_compare::normalized_decimal_string_is_even_integer;
pub use number_compare::{compare_normalized_number_str_to_zero, NumberCompareResult};