YODA: Un asistente para derivaciones en PROP
A probar:
...
⊢
...
...
...
InCo - Uruguay - 2013