litex-lang 0.9.68-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3

mod environment;
pub(crate) mod equality_linear_derive;
pub use environment::*;