L
logic
Projects with this topic
-
A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.
Updated -
Implementation of famous game "Master Mind" textual mode, with a very efficient solver. Wrote in Сlojure.
Updated -
A library for solving problems using tables
Updated