PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

fix floyd/semax_tactics #689

Closed rinshankaihou closed 1 year ago

rinshankaihou commented 1 year ago

The style that implicit arguments are inserted is non-uniform and could be improved.