Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles this discipline are generally not formalized. involve a learning curve for which payoffs minimal. In article I argue that interactive have already demonstrated their potential as useful tool historians philosophy; do by highlighting examples work where has been done. Further, can conti...