telltale-lean-bridge-2.0.0
Platform
Feature flags

docs.rs

Rust

telltale-lean-bridge 2.0.0

Lean verification bridge for Telltale session types

Crate
Source
Builds
Feature flags

..
exporter.rs
golden.rs
main.rs