machine-check 0.6.1

Formal verification tool for digital systems
Documentation 
1
2
3
4
5
6

#[machine_check_macros::machine_description]
mod machine {
    struct A<G> {}
}

fn main() {}