29 Mar
2021
29 Mar
'21
11:56 p.m.
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 |