[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