GitHub repository: Anton94/modal_logic_formula_prover
Primary language: C++
Created: 2019-06-04T05:47:46Z
Description: TODO: Master degree project for prooving/disprooving formulas (space and probability)