Домой United States USA — software Proving Algebraic Laws in Scala Using Stainless

Proving Algebraic Laws in Scala Using Stainless

По
admin
-
303
0
ПОДЕЛИТЬСЯ

Viktor Kunčak overviews Stainless used to state and formally verify properties of functional programs written in Scala.

Continue reading...

СХОЖИЕ СТАТЬИБОЛЬШЕ ОТ АВТОРА