サクサク読めて、アプリ限定の機能も多数！
Leon、まさに求めていたものなのではという感じがする
todesking のブックマーク 2016/05/18 23:41
このブックマークにはスターがありません。 最初のスターをつけてみよう！
leon.epfl.ch2016/05/18
Introduction¶ The Leon system aims to help developers build verified Scala software. It encourages using a small set of core Scala features, but provides unique automation functionality. In particu...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
Leon、まさに求めていたものなのではという感じがする
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Introduction — Leon 3.0 documentation
Introduction¶ The Leon system aims to help developers build verified Scala software. It encourages using a small set of core Scala features, but provides unique automation functionality. In particu...
3 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／