[isabelle] Fun With Functions

In case you enjoy mathematical puzzles: I have added a new article
"Fun With Functions" to the *development version* of the AFP:

This is a small collection of cute puzzles of the form:
  Show that if a function satisfies the following constraints,
  it must be ...
Most of them come from Terence Tao's delightful "Solving Mathematical

It is meant to be an evolving collection!
Please contribute further examples!


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.