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:…
Here are some resources on Leon, including github link, videos of talks, and more papers: http://lara.epfl.ch/w/leon
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:…
Here are some resources on Leon, including github link, videos of talks, and more papers: http://lara.epfl.ch/w/leon