jmlowenthal/agda-c

Parsing of existing source code

Opened this issue · 0 comments

jmlowenthal commented

Explore potential methods for verification over existing source code.