# * Next Generation Proof Technology *

## by Robert L. Constable

2012

Invited lecture at Language, Logic, and Computation

Tel Aviv University, Israel

December 27, 2012

2012

Invited lecture at Language, Logic, and Computation

Tel Aviv University, Israel

December 27, 2012