4 ms·
"Vulcan" as a name, really? It's a common word, it's already used by one up and coming technology, please be a little more creative (even VulcanJS or VulcanProo
by fijal 11y ago
"Vulcan" as a name, really? It's a common word, it's already used by one up and coming technology, please be a little more creative (even VulcanJS or VulcanProof, while not very good, would be heaps better)
- amelius 11y agoYou should talk to the creators of the .NET framework.
- RMarcus 11y agoI'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.