rem-verification 0.1.0

Verification tool for the REM toolchain. Built to be implemented into the VSCode extension for REM. Relies on AENEAS and CoQ

1
2
3

pub mod about;
pub mod author;
pub mod version;