Introduction-to-Functional-Programming/analytic_tableaux

Method of analytic tableaux in Elixir

Elixir