|
|
|
|
|
|
by vkuncak
3460 days ago
|
|
|
It would be quite realistic and interesting to have a translation between the Scala subset that Leon project supports (leon.epfl.ch) and ML. A good starting point for this is Stainless, a redesigned version of Leon:
https://github.com/epfl-lara/stainless |
|
|