DecompHub

touhou-formal

Состояние проекта: Неизвестно

Formal Lean and SMT models for Touhou ECL/ANM script VMs

Исследуемое ПО или оборудование
Touhou ECL/ANM script VMs
Тип работы
Обратная разработка и документирование
Основной публичный репозиторий
github.com/n0zom1z0/touhou-formal
GitHub
1Звёзды на GitHub

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

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

Formal Lean and SMT models for Touhou ECL/ANM script VMs

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

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

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

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

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

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

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

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