Comment by gilleain

The Math community can "not use" a proof? How would that work? It's a little like coloured functions (async etc) - you have 'human proved' vs 'machine proved'?