Article
Proof assistants
Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.