Archive

Posts Tagged ‘Theorem’

Dependently Typed Programming based on Automated Theorem Proving

December 22nd, 2011 12:18 View Comments