Foreword to: Special Issue on Interactive Theorem Provers
Alex Kontorovich · Experimental Mathematics · 2022
Here at Experimental Mathematics, we like to live up to our moniker. One of the seemingly major innovations in recent times is the rapid expansion of the capabilities of software for formalizing ma...