DecompHub

Dafny_LanguageServer_SA

Состояние проекта: В архиве

Reimplementation of the Dafny Language Server in C#

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

Проекты отсортированы по последнему зафиксированному числу звёзд репозитория. Звёзды отражают интерес, а не готовность проекта. Отсутствующие значения остаются неизвестными.

Исходный репозиторий архивирован. Это не то же самое, что указанный статус проекта.

Метаданные репозитория требуют обновления. Сохранённая запись доступна.

О проекте и его задачах

Reimplementation of the Dafny Language Server in C#

Приём стороннего участия

Правила участия неизвестны

Правила использования ИИ
Не указаны

Системы участников по документации

Окружение участника не описано

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

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

Исходники, сборка и релизы