GitHub repository: GwenTinho/graph_logic
Primary language: OCaml
Description: Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system