agurfinkel/fopExamples

Examples of reasoning globally vs locally in IVy