issues
search
PrincetonUniversity
/
VST
Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425
stars
91
forks
source link
Remove an unnecessary and inactive strip1_later from prove_call_setup1 tactic
#715
Closed
andrew-appel
closed
9 months ago
andrew-appel
commented
9 months ago
Also, add 8.17.1 to list COQVERSION variants
Also, add 8.17.1 to list COQVERSION variants