Proving tips - cbc

29 Mar 2021


      Some of you asked me for advice on how to prove with Rodin.  There are
some tips in the slides and in documents linked from the course web, but
I thought I could put together what I think may be useful
recommendations.  Please find them at
https://wp.software.imdea.org/cbc/proving-tips/
Best / Saludos,
Manuel
-- 
+-----------------------------------------------------------------------------+
| Manuel Carro --- E.T.S. Ing. Informáticos -- U. Politécnica de Madrid (UPM) |
|      Campus de Montegancedo --- E-28660 Boadilla del Monte --- Spain        |
|                      Phone: +34-91-101-2202 ext 4140                        |