Viewing profile — vkuncak
vkuncak
HN member- Joined
- Sat, Jan 10, 2015, 6:37 PM UTC
- HN karma
- 4
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About vkuncak
No profile information was provided.
Recent public activity
-
comment
Comment #13297231
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 Stain…
-
comment
Comment #8867489
Here are some resources on Leon, including github link, videos of talks, and more papers: http://lara.epfl.ch/w/leon