litex-lang 0.9.70-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
mod known_fn;
mod environment;
pub(crate) mod equality_linear_derive;
pub use environment::*;
pub use known_fn::KnownFnInfo;