DecompHub

touhou-formal

Project status: Unknown

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

Target software or hardware
Touhou ECL/ANM script VMs
Work type
Reverse engineering and documentation
Primary public repository
github.com/n0zom1z0/touhou-formal
GitHub
1GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

About and scope

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

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases