[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:
http://afp.sourceforge.net/devel.shtml

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
Problems".

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

Tobias





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