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 builtin_code;
pub mod runtime;
mod runtime_define_parameter;
mod runtime_generate_unused_names;
mod runtime_get_definitions;
mod runtime_instantiate_fact;
mod runtime_instantiate_obj;
mod runtime_known_object_properties;
mod runtime_resolve_obj;
mod runtime_store_arg_satisfy_param_type_when_not_defining_new_identifiers;
mod runtime_store_fact;

pub use builtin_code::builtin_code;
pub use runtime::Runtime;