Project

General

Profile

« Previous | Next » 

Revision d3a3e7e9

Added by Pierre-Loïc Garoche over 9 years ago

SMT2 file generated by frama-c/why3/z3-edit - it is the second base case of kinduction of ALT3. And it is not provable.

  • added
  • modified
  • copied
  • renamed
  • deleted