How to believe a machine-checked proof’. In: Sambin and Smith (eds.): Twenty Five Years of Constructive Type Theory (1996)

by R Pollack