Added a slightly stronger lemma HORec_sub, plus some earlier changes wrt sc_tac - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

424 stars 91 forks source link

Added a slightly stronger lemma HORec_sub, plus some earlier changes wrt sc_tac #759

Closed lennartberinger closed 3 months ago