/augmented-metitarski

An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning

Primary LanguageOCamlCreative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0

No issues in this repository yet.