Ssreflect Users Discussion List

[Enrico Tassi <>]

On Tue, May 06, 2014 at 07:35:32PM +0200, Laurent Thery wrote:
> As a matter of fact I think it would be better to target lia that is more
> flexible than
> omega. Frederic Besson told me that it should be not much
> work but still I haven' t found time to do the job.

For lia we have something to/from ssrint in the proof of Apery actually,
but is not bullet proof, it is an Ltac hack.  You had something cleaner
in mind?

Ciao
-- 
Enrico Tassi