1. 4

A resolution-prover in Javascript demo that people can experiment with. Also, gives explanation of CNF and resolution that could aid those building a similar tool in another language.


Stories with similar links:

  1. Vulcan: A JavaScript Automated Proof System via craigstuntz 3 years ago | 4 points | no comments