machine-checked proofs

The century of the checker & will it matter for India’s story?