Re: [isabelle] Quickcheck counter example of "3 < 4"?



On 02.07.2015 14:09, Matthew Fernandez wrote:
> While we're on the topic of quickcheck, why does it fail to show a
> counterexample for this?
> 
>     lemma "set [(1::nat)] â set [2]"
>       quickcheck

>>>> The fact that you are not shown the model is because only the
>>>> interpretation of the free variables is shown, but there are none.
>>>>
>>>> Tobias

  -- Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.