Record · corpus.blog/posts/01a087d5-83fe-70ea-8104-76844d9c0847

Vulcan: A JavaScript Automated Proof System

rmarcus.info · published 2 September 2015

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at rmarcus.info Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 2,196

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://en.wikipedia.org/wiki/Automated_theorem_proving

en.wikipedia.org

https://en.wikipedia.org/wiki/Resolution_%28logic%29

en.wikipedia.org

https://www.npmjs.com/package/vulcan

npmjs.com

https://angularjs.org/

angularjs.org

http://browserify.org/

browserify.org

http://blog.metawrap.com/2008/07/21/javascript-finite-state-machinetheorem-prover/

blog.metawrap.com

https://github.com/leanprover/lean.js

github.com

http://www.cs.berkeley.edu/~russell/

cs.berkeley.edu

http://norvig.com

norvig.com

http://www.amazon.com/Artificial-Intelligence-Modern-Approach-Edition/dp/0136042597

amazon.com

http://www.wolframalpha.com/input/?i=CNF+of+%28A+implies+%28B+or+C%29%29+

wolframalpha.com

http://www.wolframalpha.com/input/?i=CNF+of++%28A+equivalent+B%29

wolframalpha.com

http://www.mathcs.duq.edu/simon/Fall04/notes-6-20/node3.html

mathcs.duq.edu

https://en.wikipedia.org/wiki/G%C3%B6del's_completeness_theorem

en.wikipedia.org

https://en.wikipedia.org/wiki/Reductio_ad_absurdum

en.wikipedia.org

https://en.wikipedia.org/wiki/Deduction_theorem

en.wikipedia.org

https://en.wikipedia.org/wiki/Principle_of_explosion

en.wikipedia.org

https://en.wikipedia.org/wiki/Boolean_satisfiability_problem

en.wikipedia.org

https://en.wikipedia.org/wiki/Modus_ponens

en.wikipedia.org