Re: [isabelle] Still no smt commands allowed in AFP submissions?



On 13/09/2014 23:00, Wenda Li wrote:
> Dear Isabelle experts,
> 
> When I am checking the AFP submission guidelines, it requires no smt command in
> proofs. I thought proof reconstructions for smt solvers should be quite mature
> now. Shall I still need to eliminate all smt commands from my proofs before
> submission to AFP?

I am afraid so. There are maintenance issues otherwise.

Tobias

> Many thanks,
> Wenda
> 




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