litex-lang 0.9.86-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
6
7
pub mod count_range_integer;
pub mod defaults;
pub mod helper;
pub mod is_valid_litex_name;
pub mod json_value;
pub mod keywords;
pub mod name_types;