Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for vari...
Full description
Saved in: