rem-verification

Release 0.1.0

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

Repository Cargo Coq Documentation Download

License
MIT

Documentation

rem-verification

Experimenting with verfication through functional translation in REM

Stats

Dependencies
7
Dependent packages
0
Dependent repositories
0
Total releases
1
Latest release
First release
Stars
0
Forks
0
Watchers
1
Contributors
1
Repository size
8.91 MB
SourceRank
5

Releases

0.1.0

Maintainers

Matthew Britton

Contributors

Matthew Britton


See all contributors

Login to resync this project