Dafny_LanguageServer_SA

Стан проєкту: В архіві

Reimplementation of the Dafny Language Server in C#

Досліджуване ПЗ або обладнання: Dafny Language Server
Тип роботи: Повторна реалізація та сумісність
Основний публічний репозиторій: github.com/just-me-/dafny_languageserver_sa

Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.

Вихідний репозиторій архівовано. Це не те саме, що зазначений статус проєкту.

Метадані репозиторію потребують оновлення. Збережений запис залишається доступним.

Про проєкт і його завдання

Reimplementation of the Dafny Language Server in C#

Можливість долучитися

Правила участі невідомі

Правила використання ШІ: Не зазначено

Системи учасників за документацією

Середовище учасника не описано

Заявлений прогрес

Прогрес не опубліковано

Вихідний код, збирання та релізи

Відкрити репозиторій · github.comgithub.com/just-me-/dafny_languageserver_sa