/analytic_tableaux

Method of analytic tableaux in Elixir

Primary LanguageElixir

AnalyticTableaux

TODO: Add description

Installation

If available in Hex, the package can be installed by adding analytic_tableaux to your list of dependencies in mix.exs:

def deps do
  [
    {:analytic_tableaux, "~> 0.1.0"}
  ]
end
  • Final version: August 26th, 2021
  • Last class: September 2nd, 2021

Documentation can be generated with ExDoc and published on HexDocs. Once published, the docs can be found at https://hexdocs.pm/analytic_tableaux.