touhou-formal

Stan projektu: Nieznany

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

Badane oprogramowanie lub sprzęt: Touhou ECL/ANM script VMs
Rodzaj prac: Inżynieria wsteczna i dokumentacja
Główne publiczne repozytorium: github.com/n0zom1z0/touhou-formal

Projekty są sortowane według ostatniej zapisanej liczby gwiazdek repozytorium. Gwiazdki oznaczają zainteresowanie, a nie postęp prac. Brakujące wartości pozostają nieznane.

Opis i zakres prac

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

Możliwość współpracy

Zasady współpracy nieznane

Zasady korzystania z AI: Nie określono

Systemy współtwórców według dokumentacji

Brak dokumentacji środowiska współtwórcy

Podany postęp

Nie podano postępu

Kod źródłowy, budowanie i wydania

Otwórz repozytorium · github.comgithub.com/n0zom1z0/touhou-formal