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
14
mod atom;
mod obj;
mod standard_set;
pub use atom::{
    field_access_to_string, field_access_with_mod_to_string, identifier_to_string,
    identifier_with_mod_to_string, Atom, FieldAccess, FieldAccessWithMod, Identifier,
    IdentifierOrIdentifierWithMod, IdentifierWithMod,
};
pub use obj::{
    fn_obj_to_string, Add, Cap, Cart, CartDim, Choose, ClosedRange, Count, Cup, Div, FamilyObj,
    FnObj, FnSet, Intersect, ListSet, Mod, Mul, Number, Obj, ObjAtIndex, Pow, PowerSet, Proj,
    Range, SetBuilder, SetDiff, SetMinus, StructObj, Sub, Tuple, TupleDim, Union,
};
pub use standard_set::StandardSet;