Skip to content

Home Work How I Help Method Writing About ContactAsk Niche Clever

← Social archive

@j_bettany · June 1, 2015

@j_bettany - 1 Jun 2015

The virtues of computer proof assistants http://t.co/I7noaUdmyc #math #tech

↗Original public postScience Mathematics Complexity

© 2026 Niche Clever

Jacob’s Cabinet Theme, designed and developed by Niche Clever.

Facebook
LinkedIn
X

Explore

Work
How I Help
Method
Writing
About

Go deeper

Ask Niche Clever
Social archive

Start something

Contact