Carst Tankink, James McKinna. Dynamic Proof Pages. In Christoph Lange 0002, Josef Urban, editors, Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. Volume 767 of CEUR Workshop Proceedings, pages 45-48, CEUR-WS.org, 2011. [doi]
Abstract is missing.