coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Well founded induction on Zwf
- Date: Sun, 29 Nov 2015 14:50:54 +0100
Hi,
Look at this thread it can give you some ideas:
http://coq-club.inria.narkive.com/A5ycabQN/newbie-question-on-computing-with-recursive-function
--
Laurent
- [Coq-Club] Well founded induction on Zwf, Kyle Stemen, 11/29/2015
- Re: [Coq-Club] Well founded induction on Zwf, Laurent Thery, 11/29/2015
Archive powered by MHonArc 2.6.18.