coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
- To: AUGER Cedric <Cedric.Auger AT lri.fr>
- Cc: Hendrik Tews <tews AT os.inf.tu-dresden.de>, coq-club AT inria.fr
- Subject: Re: [Coq-Club] proof tree visualization
- Date: Mon, 21 Mar 2011 07:39:53 -0400
>> * You can use a good indentation
I find Aaron Bohannon's Case tactics to be extremely helpful for this.
- Benjamin
- [Coq-Club] proof tree visualization, Hendrik Tews
- Re: [Coq-Club] proof tree visualization,
AUGER Cedric
- Re: [Coq-Club] proof tree visualization, Benjamin C. Pierce
- Re: [Coq-Club] proof tree visualization,
AUGER Cedric
Archive powered by MhonArc 2.6.16.