fix lemma statement - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

425 stars 91 forks source link

fix lemma statement #718

Closed rinshankaihou closed 9 months ago