5 ms·
It is possible to produce a dump of Rust program AST into WhyML datatypes and/or functions and project and prove what can be proven. The structure of WhyML dat
by thesz 4y ago
It is possible to produce a dump of Rust program AST into WhyML datatypes and/or functions and project and prove what can be proven.
The structure of WhyML datatypes and functions can be parsed and transpiled back into Rust.