4 ms·I’m happy to see so much work going into fixing human errors in mathematics in a rigorous way.by pennomi 2y agoI’m happy to see so much work going into fixing human errors in mathematics in a rigorous way.