1. 3

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.

  1.