There's a recent example of programmers publishing a paper on how to better prove some mathematics by implementing and discussing the phenomenon in a programmin

There's a recent example of programmers publishing a paper on how to better prove some mathematics by implementing and discussing the phenomenon in a programming language: What’s the Difference? A Functional Pearl on Subtracting Bijections https://byorgey.wordpress.com/2018/06/23/new-icfp-functional-pearl-on-subtracting-bijections/ https://byorgey.wordpress.com/2018/06/23/new-icfp-functional...