Bibliography:Proof assistant

.

.

(In both cases PDF files are available for free download, see the external links page).

Background matter
.

.