21:53:16selwynTrashtalk: you may be interested in this https://xenaproject.wordpress.com/what-is-the-xena-project/
21:53:16Colleenxenaproject.wordpress.com/w... Website (HTML), Title: What is the Xena project? | Xena
22:00:13selwyni'm quite excited about it. the post i linked has some points about modern proofs that i think are relevant and very well made
22:07:35TrashtalkLooks interesting. Especially for the higher level proofs were a lot of details are left out. I would be fun if computers can fill that in.
22:13:25selwynit would provide a great deal of confidence in published research, which is sorely needed. it would be fantastic if proofs could come along with a kind of digitised version of themselves allowing them to be verified by computer