Repository navigation

sm64_pspace

Public

About

WIP: Construction of a proof that Super Mario 64 is PSPACE-complete.

1 star

2 watching

Report repository

Name		Name	Last commit message	Last commit date
blender_files		blender_files
sm64_code		sm64_code
tqbf_converter		tqbf_converter
writeup		writeup
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Super Mario 64 is PSPACE-complete

This README is incomplete, but I wanted to write down that you'll need Jinja to run the Python code.s

About

WIP: Construction of a proof that Super Mario 64 is PSPACE-complete.

1 star

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages