GitHub repository: samfrances/analytic_tableaux
Primary language: Elixir
Description: Method of analytic tableaux in Elixir