Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
rosa [2013/11/07 13:43]
evka
rosa [2013/11/07 15:42] (current)
evka
Line 1: Line 1:
 ====== Rosa: The Real Compiler ====== ====== Rosa: The Real Compiler ======
  
-Rosa is publicly available on github+Rosa is publicly available on [[https://​github.com/​malyzajko/​rosa|GitHub]].
  
 
rosa.txt · Last modified: 2013/11/07 15:42 by evka
 
© EPFL 2018 - Legal notice