Links

Tools

Export citation

Search in Google Scholar

Hammering towards QED

Journal article published in 2015 by Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Question mark in circle
Preprint: policy unknown
Question mark in circle
Postprint: policy unknown
Question mark in circle
Published version: policy unknown

Abstract

This is the author accepted manuscript. It is currently under an indefinite embargo pending publication by Alma Mater Studiorum.