# Fun With Tilings

 Title: Fun With Tilings Authors: Tobias Nipkow and Lawrence C. Paulson Submission date: 2008-11-07 Abstract: Tilings are defined inductively. It is shown that one form of mutilated chess board cannot be tiled with dominoes, while another one can be tiled with L-shaped tiles. Please add further fun examples of this kind! BibTeX: @article{FunWithTilings-AFP, author = {Tobias Nipkow and Lawrence C. Paulson}, title = {Fun With Tilings}, journal = {Archive of Formal Proofs}, month = nov, year = 2008, note = {\url{http://isa-afp.org/entries/FunWithTilings.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License