Закрыт

Dafny Project

A simple coding project in dafny.

Квалификация: Кодирование, Microsoft, Программирование, Архитектура ПО, Разработка ПО

Показать больше rise4fun dafny hello, mono dafny, dafny visual studio 2017, dafny datatype, dafny reference manual, dafny release, dafny paper, vs code dafny

О работодателе:
( 0 отзыв(-а, -ов) ) Paris, France

ID проекта: #18747940