I'll admit I didn't spend a whole lot of time thinking of a name. I was originally going to go with "javascript-resolution-prover", but when I thought of "Vulca

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