comoex-v1.1.0

Max Ole Elliger

@oc59yqul

71ca25d6 · Merge branch 'more-examples' into 'main' · Aug 04, 2023

added some more examples to SomeExamples and Forall