litex-lang 0.9.85-beta

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

pub use error::{
    exec_stmt_error_with_stmt_and_cause, short_exec_error, ArithmeticRuntimeError,
    DefineParamsRuntimeError, InferRuntimeError, InstantiateRuntimeError,
    NameAlreadyUsedRuntimeError, NewFactRuntimeError, ParseRuntimeError, RuntimeError,
    RuntimeErrorStruct, StoreFactRuntimeError, UnknownRuntimeError, VerifyRuntimeError,
    WellDefinedRuntimeError,
};