Foreword to: Special Issue on Interactive Theorem Provers
Sign Up to like & getrecommendations! Published in 2022 at "Experimental Mathematics"
DOI: 10.1080/10586458.2022.2088982
Abstract: 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 mathematics in interactive… read more here.
Keywords: interactive theorem; special issue; theorem provers; mathematics ... See more keywords