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

docs.rs

Rust

litex-lang 0.9.4-beta

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

Crate
Source
Builds
Feature flags

..
environment.rs
mod.rs

1
2

mod environment;
pub use environment::*;