Context

Context of Interactive theorem proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings
Processing Feedback ...