litex-lang 0.9.6-beta

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

mod module_manager;

pub use module_manager::ModuleManager;