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
mod runtime_result;
mod runtime_success;
mod runtime_unknown;

pub use runtime_result::StmtResult;
pub use runtime_success::{FactualStmtSuccess, NonFactualStmtSuccess};
pub use runtime_unknown::StmtUnknown;