GitHub - jalphad/4colorthm: Check D-reducibility of unavoidable configurations · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 71 Commits
.gitignore		.gitignore
app.py		app.py
app_adjusted.py		app_adjusted.py

About

Check D-reducibility of unavoidable configurations

Report repository

Releases

No releases published

Packages

Contributors

Languages

Python 100.0%