litex-lang-0.9.85-beta
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

litex-lang 0.9.85-beta

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

Crate
Source
Builds
Feature flags

..
cli.rs
mod.rs

1
2
3

mod cli;

pub use cli::run_cli;