GitHub repository: Introduction-to-Functional-Programming/analytic_tableaux
Primary language: Elixir
Created: 2021-07-15T17:27:24Z
Description: Method of analytic tableaux in Elixir