litex-lang 0.9.66-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9

pub const BUILTIN_ENV_CODE_FOR_COMMON_FUNCTIONS: &str = r#"
know:
    forall x R:
        0 <= abs(x)
        abs(x) = x or abs(x) = -x

    forall x, y R:
        abs(x * y) = abs(x) * abs(y)
"#;