A few links found by following up:
https://xenaproject.wordpress.com
http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf
http://aitp-conference.org/2019/slides/KB.pdf
https://galois.com/blog/2018/07/the-lean-theorem-prover- past-present-and-future/
https://florisvandoorn.com/talks/JMM2019formalabstracts.pdf
https://sites.google.com/site/thalespitt/
https://jiggerwit.wordpress.com/2014/05/21/27-formal-proof-p...
https://jiggerwit.wordpress.com/2016/10/18/elliptic-curve-ad...