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

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

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

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

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

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

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

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

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