search

GaloisInc / HARDENS

Repository for the HARDENS project
Apache License 2.0
17 stars 1 forks source link

Minor doc fixes; explain UI #102

Closed abakst closed 2 years ago

abakst commented 2 years ago

I'll address any missing or unclear doc questions in this PR. I think I've addressed the first round so far.