litex-lang 0.9.68-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
//! Surface syntax for `by …` proof statements (one submodule per form).
mod cases;
mod contra;
mod enumerate;
mod extension;
mod family;
mod fn_cart_tuple;
mod for_stmt;
mod induc;
pub use cases::ByCasesStmt;
pub use contra::ByContraStmt;
pub use enumerate::ByEnumerateFiniteSetStmt;
pub use extension::ByExtensionStmt;
pub use family::ByFamilyStmt;
pub use fn_cart_tuple::{ByFnSetStmt, ByFnStmt, ByTupleStmt};
pub use for_stmt::{ByForStmt, ClosedRangeOrRange};
pub use induc::ByInducStmt;