Book

Towards Mechanized Mathematical Assistants

by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger