litex-lang 0.9.82-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
mod to_latex_pipeline;
mod to_latex_string;

pub use to_latex_pipeline::{to_latex, to_latex_from_source_after_builtins};