thewalker77 issues

Repositories
Issues
Comments

Results 1 issues of


                                            thewalker77

Publish Concert extraction (at least to rust) as an opam package

Hello everyone, As per my understanding Concert project is two main projects: 1- An verified extraction plugins from Coq to Rust Liquidity. 2- Verified block chain applications that use the...

state: work in progress

part: extraction

part: infrastructure