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
Documentation 
1

pub const AUTHOR: &str = env!("CARGO_PKG_AUTHORS");