I&#x27;ll admit I didn&#x27;t spend a whole lot of time thinking of a name. I was originally going to go with &quot;javascript-resolution-prover&quot;, but when I thought of &quot;Vulcan&quot; I thought it was too good not to use.<p>To my great surprise, I don&#x27;t the name &quot;Vulcan&quot; is being used for any other proof system. A Google search for &quot;Vulcan automated proof&quot; seems to confirm this.