/true-fol-formulas-over-r

This haskell program will eventually generate any true first order logic formula over the set of all real numbers, ℝ. Hopefully. I'm not a mathematician. Credit goes to: Philip Lukert, Felix Mujkanovic.

Primary LanguageHaskellMIT LicenseMIT

No issues in this repository yet.