ddt

Hi, I have tried to use three methods to get CounterfactualExamples in Jupyter notebook. But I find the **_new_outcome_** is wrong sometimes when _**desired_class=="opposite".**_ And I check your code, I...

`Unquote Definition` will normalize the term automatically, An example: ``` MetaCoq Quote Definition mytp := (fun (x:nat) => x) 1. MetaCoq Unquote Definition mytp' := mytp. Print mytp'. ``` The...