Analytic Tableaux - Elixir version for PBT fun

Project information

This is a project that will be used for demonstrating the capabilities of property-based testing (PBT) in Elixir.

Created on

July 15, 2021

Copy SSH clone URLgit@gitlab.com:lauramcastro/analytic-tableaux-elixir.git
Copy HTTPS clone URLhttps://gitlab.com/lauramcastro/analytic-tableaux-elixir.git