willow-dev-team team mailing list archive

[Perry Wagle <wagle@xxxxxxx>]

Hi All —

I’ve been ill.

The project greatly interested me because I already wanted to do it.  I’m only learning coq though, but haven’t made much progress recently.  I really understand scheme and its implementations, but think I am, at the moment, far more capable of checking proofs than in generating them.

— Perry



On Jul 19, 2014, at 6:31 AM, Cédric <sedrikov@xxxxxxxxx> wrote:

> Lately I had to move to my new home, so I was busy with other stuff.
> 
> Today I had time to take a look on the project and nothing seems to have progressed. Before investing some time, I would like to know if the project is to be considered dead, or on hold.
> 
> Thanks
> 
> -- 
> Mailing list: https://launchpad.net/~willow-dev-team
> Post to     : willow-dev-team@xxxxxxxxxxxxxxxxxxx
> Unsubscribe : https://launchpad.net/~willow-dev-team
> More help   : https://help.launchpad.net/ListHelp