litex-lang 0.9.6-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

pub const BUILTIN_ENV_CODE_FOR_COMMON_FUNCTIONS: &str = r#"
have fn abs(x R) R:
    case x >= 0: x
    case x < 0: -x

have fn max(x, y R) R:
    case x >= y: x
    case x < y: y

have fn min(x, y R) R:
    case x <= y: x
    case x > y: y
"#;