/le-verification

Things that are needed for formally verifying a system

No issues in this repository yet.